src/HOL/MiniML/Generalize.ML
1997-01-17 nipkow 1997-01-17 The new version of MiniML including "let".