src/HOL/ex/CodeEmbed.thy
2006-12-27 ago dropped section header
2006-12-10 ago HOLogic cleanup;
2006-11-22 ago incorporated structure HOList into HOLogic
2006-11-17 ago more robust syntax for definition/abbreviation/notation;
2006-10-31 ago adapted to new serializer syntax
2006-10-20 ago added reserved words for Haskell
2006-09-01 ago final syntax for some Isar code generator keywords
2006-08-21 ago added some codegen examples/applications