| Sat, 21 Jan 2006 23:02:21 +0100 | wenzelm | tuned proofs; | file | diff | annotate |
| Tue, 03 Jan 2006 11:32:55 +0100 | haftmann | class now an keyword, quoted where necessary | file | diff | annotate |
| Thu, 08 Dec 2005 20:15:50 +0100 | wenzelm | tuned proofs; | file | diff | annotate |
| Wed, 18 Aug 2004 11:09:40 +0200 | nipkow | import -> imports | file | diff | annotate |
| Mon, 16 Aug 2004 14:22:27 +0200 | nipkow | New theory header syntax. | file | diff | annotate |
| Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| Thu, 06 May 2004 14:14:18 +0200 | wenzelm | tuned document; | file | diff | annotate |
| Wed, 05 Dec 2001 03:06:05 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sat, 01 Dec 2001 18:52:32 +0100 | wenzelm | renamed class "term" to "type" (actually "HOL.type"); | file | diff | annotate |
| Tue, 04 Sep 2001 21:10:57 +0200 | wenzelm | renamed "antecedent" case to "rule_context"; | file | diff | annotate |
| Mon, 12 Feb 2001 20:43:12 +0100 | wenzelm | \<subseteq>; | file | diff | annotate |
| Fri, 15 Dec 2000 17:59:45 +0100 | wenzelm | GPLed; | file | diff | annotate |
| Thu, 30 Nov 2000 20:05:34 +0100 | wenzelm | renamed "equivalence_class" to "class"; | file | diff | annotate |
| Tue, 21 Nov 2000 19:03:06 +0100 | wenzelm | unsymbolize; | file | diff | annotate |
| Tue, 21 Nov 2000 11:31:45 +0100 | bauerg | alternative function definition; | file | diff | annotate |
| Sat, 18 Nov 2000 19:46:48 +0100 | wenzelm | quot_cond_function: simplified, support conditional definition; | file | diff | annotate |
| Fri, 17 Nov 2000 18:48:50 +0100 | wenzelm | removed quot_cond_function1, quot_function1; | file | diff | annotate |
| Thu, 16 Nov 2000 19:03:26 +0100 | wenzelm | added not_equiv_sym, not_equiv_trans1/2; | file | diff | annotate |
| Wed, 15 Nov 2000 19:43:42 +0100 | wenzelm | separate rules for function/operation definitions; | file | diff | annotate |
| Sun, 12 Nov 2000 14:50:26 +0100 | wenzelm | quot_cond_definition; | file | diff | annotate |
| Fri, 10 Nov 2000 19:06:30 +0100 | wenzelm | improved cong_definition theorems; | file | diff | annotate |
| Sat, 04 Nov 2000 18:41:37 +0100 | wenzelm | tuned; | file | diff | annotate |
| Fri, 03 Nov 2000 21:35:59 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 25 Oct 2000 18:33:01 +0200 | wenzelm | tuned names; | file | diff | annotate |
| Mon, 23 Oct 2000 22:11:43 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sun, 22 Oct 2000 22:23:16 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sun, 22 Oct 2000 22:18:40 +0200 | wenzelm | simplified quotients (only plain total equivs); | file | diff | annotate |
| Thu, 19 Oct 2000 21:23:15 +0200 | wenzelm | improved typedef; | file | diff | annotate |
| Wed, 18 Oct 2000 23:29:13 +0200 | wenzelm | Quotient types; | file | diff | annotate |