src/HOL/MiniML/Instance.thy
1998-07-24 berghofe 1998-07-24 Adapted to new datatype package.
1997-12-30 nipkow 1997-12-30 nth -> !
1997-01-17 nipkow 1997-01-17 The new version of MiniML including "let".