src/LCF/ex/Ex4.thy
Sat, 14 Jun 2008 23:19:51 +0200 wenzelm proper context for tactics derived from res_inst_tac;
Thu, 01 Jun 2006 21:14:05 +0200 wenzelm removed obsolete ML files;
Sat, 03 Sep 2005 17:54:10 +0200 wenzelm converted to Isar theory format;
Fri, 08 May 1998 13:54:45 +0200 wenzelm proper thy files;
less more (0) tip