doc-src/IsarAdvanced/Codegen/Thy/examples/monotype.ML
2007-10-16 wenzelm 2007-10-16 updated;
2007-08-24 haftmann 2007-08-24 updated
2007-08-09 haftmann 2007-08-09 updated
2007-07-19 haftmann 2007-07-19 updated
2007-05-30 haftmann 2007-05-30 updated
2007-05-25 haftmann 2007-05-25 *** empty log message ***
2007-05-07 haftmann 2007-05-07 added further equality example