src/HOL/Isar_examples/BasicLogic.thy
2005-11-16 wenzelm 2005-11-16 tuned document;
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2001-12-05 wenzelm 2001-12-05 fixed intro steps;
2000-12-08 wenzelm 2000-12-08 tuned;
2000-09-17 wenzelm 2000-09-17 isar-strip-terminators;
2000-08-19 wenzelm 2000-08-19 tuned;
2000-07-30 wenzelm 2000-07-30 obtain;
2000-05-21 wenzelm 2000-05-21 replaced {{ }} by { };
1999-10-30 wenzelm 1999-10-30 improved presentation;
1999-10-15 wenzelm 1999-10-15 improved presentation;
1999-10-14 wenzelm 1999-10-14 improved presentation;
1999-10-11 wenzelm 1999-10-11 improved presentation;
1999-10-09 wenzelm 1999-10-09 more explanations;
1999-10-06 wenzelm 1999-10-06 improved presentation;
1999-10-06 wenzelm 1999-10-06 improved presentation;
1999-10-05 wenzelm 1999-10-05 tuned comments;
1999-09-25 wenzelm 1999-09-25 tuned;
1999-09-04 wenzelm 1999-09-04 replaced ?? by ?;
1999-09-03 wenzelm 1999-09-03 tuned K;
1999-08-20 wenzelm 1999-08-20 intro (no +);
1999-08-17 wenzelm 1999-08-17 intro+;
1999-07-30 wenzelm 1999-07-30 renamed 'same' to '-';
1999-07-14 wenzelm 1999-07-14 tuned comments;
1999-07-14 wenzelm 1999-07-14 Deriving rules in Isabelle;
1999-07-03 wenzelm 1999-07-03 tuned;
1999-07-01 wenzelm 1999-07-01 renamed with/APP to of/OF;
1999-05-28 wenzelm 1999-05-28 tuned formal comments;
1999-04-23 wenzelm 1999-04-23 tuned;
1999-04-16 wenzelm 1999-04-16 Miscellaneous Isabelle/Isar examples for Higher-Order Logic.