src/HOL/MiniML/Generalize.ML
Fri, 17 Oct 1997 15:25:12 +0200 nipkow setloop split_tac -> addsplits
Wed, 23 Apr 1997 11:02:19 +0200 paulson Ran expandshort
Fri, 17 Jan 1997 18:50:04 +0100 nipkow The new version of MiniML including "let".
less more (0) tip