src/HOL/MiniML/Instance.ML
Fri, 17 Jan 1997 18:50:04 +0100 nipkow The new version of MiniML including "let".
less more (0) tip