src/HOL/Library/Quotient.thy
Fri, 10 Nov 2000 19:06:30 +0100 wenzelm improved cong_definition theorems;
Sat, 04 Nov 2000 18:41:37 +0100 wenzelm tuned;
Fri, 03 Nov 2000 21:35:59 +0100 wenzelm tuned;
Wed, 25 Oct 2000 18:33:01 +0200 wenzelm tuned names;
Mon, 23 Oct 2000 22:11:43 +0200 wenzelm tuned;
Sun, 22 Oct 2000 22:23:16 +0200 wenzelm tuned;
Sun, 22 Oct 2000 22:18:40 +0200 wenzelm simplified quotients (only plain total equivs);
Thu, 19 Oct 2000 21:23:15 +0200 wenzelm improved typedef;
Wed, 18 Oct 2000 23:29:13 +0200 wenzelm Quotient types;
less more (0) tip