src/LCF/fix.thy
Fri, 08 May 1998 13:54:45 +0200 wenzelm proper thy files;
less more (0) tip