src/Pure/Tools/codegen_func.ML
2007-03-20 haftmann 2007-03-20 adjusted definition of defining equation
2007-03-16 haftmann 2007-03-16 clarified check of defining equations
2007-01-30 haftmann 2007-01-30 additional auxiliary here
2007-01-26 haftmann 2007-01-26 clarified code
2007-01-25 haftmann 2007-01-25 tuned
2007-01-09 haftmann 2007-01-09 cleanup
2007-01-09 haftmann 2007-01-09 moved a lot to codegen_func.ML
2007-01-05 haftmann 2007-01-05 added codegen_func.ML