src/ZF/EquivClass.thy
Thu, 15 Mar 2012 16:35:02 +0000 paulson replacing ":" by "\<in>"
Tue, 06 Mar 2012 16:06:52 +0000 paulson Using mathematical notation for <-> and cardinal arithmetic
Tue, 06 Mar 2012 15:15:49 +0000 paulson mathematical symbols instead of ASCII
Sat, 13 Mar 2010 16:44:12 +0100 wenzelm removed old CVS Ids;
Sun, 07 Oct 2007 21:19:31 +0200 wenzelm modernized specifications;
Sun, 07 Oct 2007 15:49:25 +0200 wenzelm replaced some 'translations' by 'abbreviation';
Thu, 31 May 2007 12:06:31 +0200 wenzelm moved Integ files to canonical place;
Tue, 06 Feb 1996 12:27:17 +0100 clasohm expanded tabs
Sat, 09 Dec 1995 13:36:11 +0100 clasohm removed quotes from consts and syntax sections
Thu, 22 Jun 1995 17:13:05 +0200 clasohm removed \...\ inside strings
Tue, 29 Nov 1994 00:31:31 +0100 lcp replaced "rules" by "defs"
Tue, 16 Aug 1994 19:06:14 +0200 lcp ZF/ex/Equiv.thy,.ML: moved to main directory as EquivClass.thy,.ML
less more (0) tip