src/HOL/Isar_examples/BasicLogic.thy
1999-09-25 ago tuned;
1999-09-04 ago replaced ?? by ?;
1999-09-03 ago tuned K;
1999-08-20 ago intro (no +);
1999-08-17 ago intro+;
1999-07-30 ago renamed 'same' to '-';
1999-07-14 ago tuned comments;
1999-07-14 ago Deriving rules in Isabelle;
1999-07-03 ago tuned;
1999-07-01 ago renamed with/APP to of/OF;
1999-05-28 ago tuned formal comments;
1999-04-23 ago tuned;
1999-04-16 ago Miscellaneous Isabelle/Isar examples for Higher-Order Logic.