src/Sequents/LK/ROOT.ML
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