src/HOL/Isar_examples/Peirce.thy
1999-09-03 wenzelm 1999-09-03 tuned;
1999-08-02 wenzelm 1999-08-02 tuned;
1999-07-03 wenzelm 1999-07-03 tuned;
1999-06-28 wenzelm 1999-06-28 updated;
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.