src/ZF/equalities.ML
Tue, 30 Jan 1996 13:42:57 +0100 clasohm expanded tabs
Fri, 14 Apr 1995 11:24:51 +0200 lcp Renamed domain_diff_subset, range_diff_subset,
Thu, 13 Apr 1995 11:37:39 +0200 lcp Proved Int_Diff_eq.
Fri, 23 Dec 1994 16:51:10 +0100 lcp RepFun_eq_0_iff, RepFun_0: new
Wed, 14 Dec 1994 16:57:55 +0100 lcp converse_UN, Diff_eq_0_iff: new
Wed, 07 Dec 1994 13:12:04 +0100 clasohm added qed and qed_goal[w]
Thu, 03 Nov 1994 11:58:16 +0100 lcp ZF/equalities/domain_converse,range_converse,
Tue, 16 Aug 1994 19:09:43 +0200 lcp ZF/domrange/domain_of_prod, domain_empty, etc: moved to equalities.ML where
Mon, 15 Aug 1994 18:07:03 +0200 lcp ZF/equalities/Sigma_cons: new
Fri, 12 Aug 1994 18:45:33 +0200 lcp for infinite datatypes with arbitrary index sets
Tue, 21 Jun 1994 17:20:34 +0200 lcp Addition of cardinals and order types, various tidying
Mon, 14 Feb 1994 17:59:25 +0100 lcp double_complement_Un: new
Tue, 21 Dec 1993 13:58:12 +0100 lcp new section for equality properties
Fri, 10 Dec 1993 10:39:12 +0100 lcp ZF/equalities/SUM_eq_UN: new
Fri, 03 Dec 1993 12:47:45 +0100 lcp New distributive laws for Sigma and UN
Thu, 16 Sep 1993 12:20:38 +0200 clasohm Initial revision
less more (0) tip