src/Pure/codegen.ML
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.