src/Pure/Tools/nbe_codegen.ML
2006-03-07 haftmann 2006-03-07 substantial improvement in codegen iml
2006-03-03 nipkow 2006-03-03 ignore repeated vars on lhs, cleanup
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 added Tools/nbe, fixes
2006-02-21 nipkow 2006-02-21 New normalization-by-evaluation package