src/Sequents/LK/ROOT.ML
Sat, 15 Sep 2007 19:27:35 +0200 haftmann fixed title
Tue, 31 Jul 2007 23:23:28 +0200 wenzelm simultaneous use_thys;
Mon, 20 Nov 2006 23:47:10 +0100 wenzelm converted legacy ML scripts;
Sun, 18 Sep 2005 15:20:08 +0200 wenzelm converted to Isar theory format;
Tue, 30 May 2000 16:08:38 +0200 wenzelm cleaned up;
Tue, 27 Jul 1999 18:50:14 +0200 paulson Sequents/LK/Nat: new example of simplification in LK
Thu, 11 Mar 1999 13:20:35 +0100 wenzelm removed foo_build_completed -- now handled by session management (via usedir);
Fri, 05 Feb 1999 21:14:17 +0100 wenzelm examples made separate dirs;
less more (0) tip