src/Pure/codegen.ML
2001-12-10 berghofe 2001-12-10 - Added code generator interface for types - Changed type of invoke_codegen
2001-11-28 wenzelm 2001-11-28 theory data: removed obsolete finish method;
2001-11-09 wenzelm 2001-11-09 theory data: finish method;
2001-09-01 wenzelm 2001-09-01 tuned;
2001-08-31 wenzelm 2001-08-31 tuned headers;
2001-08-31 berghofe 2001-08-31 Initial version of generic code generator.