src/Tools/Code/code_ml.ML
2009-12-04 haftmann 2009-12-04 signatures for generated code; tuned
2009-11-12 haftmann 2009-11-12 accomplish mutual recursion between fun and inst
2009-11-08 wenzelm 2009-11-08 adapted Generic_Data, Proof_Data; tuned;
2009-10-21 haftmann 2009-10-21 dropped redundant gen_ prefix
2009-10-14 haftmann 2009-10-14 tuned whitespace
2009-10-14 haftmann 2009-10-14 dropped Code_Printer prefix where feasible; fixed whitespace issues; more coherent terminology
2009-10-12 haftmann 2009-10-12 intro_base_names combinator
2009-10-12 haftmann 2009-10-12 factored out Code_Printer.aux_params
2009-09-29 wenzelm 2009-09-29 explicit indication of Unsynchronized.ref;
2009-07-21 haftmann 2009-07-21 integrated add_triv_classes into evaluation stack
2009-07-03 haftmann 2009-07-03 cleaned up fundamental iml term functions
2009-06-30 haftmann 2009-06-30 all variable names are optional
2009-06-30 haftmann 2009-06-30 simplified binding concept
2009-06-23 haftmann 2009-06-23 uniformly capitialized names for subdirectories