src/HOL/MiniML/MiniML.ML
Fri, 10 May 1996 17:03:17 +0200 paulson Updated for new form of induction rules
Wed, 28 Feb 1996 16:57:14 +0100 nipkow modified priorities in syntax
Tue, 27 Feb 1996 18:22:47 +0100 nipkow used qed_spec_mp.
Wed, 25 Oct 1995 09:46:46 +0100 nipkow New theory: type inference for let-free MiniML
less more (0) tip