src/LCF/ex/Ex3.thy
1998-05-08 wenzelm 1998-05-08 proper thy files;