src/HOL/UNITY/Lift.ML
Tue, 01 Sep 1998 10:10:11 +0200 paulson Moved lemmas to Arith.ML
Thu, 20 Aug 1998 17:43:01 +0200 paulson New theory Lift
Wed, 19 Aug 1998 10:34:31 +0200 paulson Misc changes
Fri, 14 Aug 1998 13:52:42 +0200 paulson now trans_tac is part of the claset...
Thu, 13 Aug 1998 18:06:40 +0200 paulson Constrains, Stable, Invariant...more of the substitution axiom, but Union
Thu, 06 Aug 1998 15:47:26 +0200 paulson A higher-level treatment of LeadsTo, minimizing use of "reachable"
less more (0) tip