src/HOL/W0/Maybe.ML
Mon, 22 Jun 1998 17:26:46 +0200 wenzelm isatool fixgoal;
Mon, 27 Apr 1998 16:45:27 +0200 nipkow Renamed expand_const -> split_const.
Mon, 03 Nov 1997 12:13:18 +0100 wenzelm isatool fixclasimp;
Fri, 17 Oct 1997 15:25:12 +0200 nipkow setloop split_tac -> addsplits
Fri, 17 Jan 1997 16:58:59 +0100 nipkow Incorporated Larry's changes.
Fri, 17 Jan 1997 13:21:54 +0100 nipkow This is the old version og MiniML for the monomorphic case.
less more (0) tip