src/LCF/ex/Ex1.ML
1998-06-22 wenzelm 1998-06-22 isatool fixgoal;
1998-05-08 wenzelm 1998-05-08 proper thy files;