src/HOL/W0/W.ML
Wed, 23 Apr 1997 11:02:19 +0200 paulson Ran expandshort
Tue, 22 Apr 1997 11:45:22 +0200 paulson Ran expandshort
Fri, 14 Mar 1997 10:37:01 +0100 nipkow Modified proofs because simplifier does not eta-contract any longer.
Sat, 15 Feb 1997 17:52:31 +0100 oheimb reflecting my recent changes of the simplifier and classical reasoner
Fri, 07 Feb 1997 14:13:58 +0100 nipkow Modified proofs because of added "triv_forall_equality".
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