src/HOL/Isar_examples/ExprCompiler.thy
1999-09-04 wenzelm 1999-09-04 replaced ?? by ?;
1999-08-18 wenzelm 1999-08-18 tuned;
1999-07-08 wenzelm 1999-07-08 tuned indentation;
1999-06-05 wenzelm 1999-06-05 tuned comments;
1999-05-28 wenzelm 1999-05-28 tuned formal comments;
1999-05-27 wenzelm 1999-05-27 changed {| |} verbatim syntax to {* *};
1999-04-27 wenzelm 1999-04-27 tuned;
1999-04-23 wenzelm 1999-04-23 tuned antiquotations;
1999-04-22 wenzelm 1999-04-22 tuned;
1999-04-16 wenzelm 1999-04-16 Miscellaneous Isabelle/Isar examples for Higher-Order Logic.