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