src/HOL/Integ/Equiv.ML
Wed, 11 Sep 1996 18:46:07 +0200 paulson Moved RSLIST here from ../Relation.ML
Tue, 30 Jul 1996 17:33:26 +0200 berghofe Classical tactics now use default claset.
Fri, 28 Jun 1996 15:30:55 +0200 paulson Removed a use of eq_cs
Thu, 04 Apr 1996 11:45:01 +0200 paulson Using new "Times" infix
Tue, 30 Jan 1996 15:24:36 +0100 clasohm expanded tabs
Wed, 04 Oct 1995 13:12:14 +0100 clasohm added local simpsets
Thu, 13 Apr 1995 15:06:25 +0200 lcp Deleted some useless things and made proofs of
Fri, 24 Mar 1995 12:30:35 +0100 clasohm changed syntax of tuples from <..., ...> to (..., ...)
Fri, 03 Mar 1995 12:04:45 +0100 clasohm new version of HOL/Integ with curried function application
less more (0) tip