src/HOL/Isar_examples/BasicLogic.thy
Fri, 20 Aug 1999 15:42:46 +0200 wenzelm intro (no +);
Tue, 17 Aug 1999 17:34:43 +0200 wenzelm intro+;
Fri, 30 Jul 1999 13:44:29 +0200 wenzelm renamed 'same' to '-';
Wed, 14 Jul 1999 13:07:09 +0200 wenzelm tuned comments;
Wed, 14 Jul 1999 12:28:12 +0200 wenzelm Deriving rules in Isabelle;
Sat, 03 Jul 1999 00:26:00 +0200 wenzelm tuned;
Thu, 01 Jul 1999 21:29:53 +0200 wenzelm renamed with/APP to of/OF;
less more (0) -7 tip