src/HOL/MiniML/Maybe.ML
Mon, 20 May 1996 18:41:55 +0200 nipkow Added thm I_complete_wrt_W to I.
Wed, 25 Oct 1995 09:46:46 +0100 nipkow New theory: type inference for let-free MiniML
less more (0) tip