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