src/HOL/Isar_examples/BasicLogic.thy
Thu, 14 Jun 2007 23:04:36 +0200 wenzelm tuned proofs: avoid implicit prems;
Wed, 13 Jun 2007 18:30:11 +0200 wenzelm tuned proofs: avoid implicit prems;
Wed, 16 Nov 2005 19:34:19 +0100 wenzelm tuned document;
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
Wed, 05 Dec 2001 03:19:47 +0100 wenzelm fixed intro steps;
Fri, 08 Dec 2000 15:10:36 +0100 wenzelm tuned;
Sun, 17 Sep 2000 22:19:02 +0200 wenzelm isar-strip-terminators;
less more (0) -10 -7 tip