src/LCF/ex/Ex2.thy
Mon, 19 Mar 2012 21:49:52 +0100 wenzelm modernized axiomatizations;
Sat, 13 Mar 2010 16:44:12 +0100 wenzelm removed old CVS Ids;
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