Re: [isabelle] About simplificaton



Greetings;

which viewer am I supposed use, if I wanted to read a *.thy file on a win 
machine?

JD




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.