src/HOL/ex/CodeRandom.thy
2006-12-27 haftmann 2006-12-27 dropped section header
2006-12-18 haftmann 2006-12-18 dropped debug cmd
2006-11-27 haftmann 2006-11-27 adjusted syntax for internal code generation
2006-11-17 wenzelm 2006-11-17 more robust syntax for definition/abbreviation/notation;
2006-11-06 haftmann 2006-11-06 added state monad to HOL library
2006-10-31 haftmann 2006-10-31 adapted to new serializer syntax
2006-10-31 haftmann 2006-10-31 adapted to new serializer syntax
2006-09-11 wenzelm 2006-09-11 induct method: renamed 'fixing' to 'arbitrary';
2006-09-01 haftmann 2006-09-01 final syntax for some Isar code generator keywords
2006-08-23 haftmann 2006-08-23 SML/NJ int type fix
2006-08-21 haftmann 2006-08-21 added some codegen examples/applications