src/Pure/Tools/nbe_eval.ML
2006-03-07 haftmann 2006-03-07 substantial improvement in codegen iml
2006-03-03 haftmann 2006-03-03 improvements for nbe
2006-03-01 haftmann 2006-03-01 refined representation of codegen intermediate language
2006-02-27 nipkow 2006-02-27 added nbe, updated neb_*
2006-02-21 nipkow 2006-02-21 New normalization-by-evaluation package