| Fri, 08 Jul 2005 11:38:30 +0200 | nipkow | changed imports due to new GCD.thy | file | diff | annotate |
| Fri, 19 Nov 2004 14:00:31 +0100 | chaieb | Barith removed | file | diff | annotate |
| Wed, 06 Oct 2004 13:58:08 +0200 | chaieb | changed in order to insert Barith.thy | 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 |
| Fri, 16 Apr 2004 04:07:10 +0200 | wenzelm | tuned document; | file | diff | annotate |
| Thu, 04 Mar 2004 12:06:07 +0100 | paulson | new material from Avigad, and simplified treatment of division by 0 | file | diff | annotate |
| Thu, 24 Jul 2003 16:35:51 +0200 | paulson | tidied | file | diff | annotate |
| Tue, 25 Mar 2003 09:49:13 +0100 | berghofe | Added Presburger theory. | file | diff | annotate |
| Thu, 04 Jul 2002 16:48:21 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 21 Feb 2002 20:09:19 +0100 | wenzelm | removed theory Option; | file | diff | annotate |
| Tue, 05 Feb 2002 23:18:08 +0100 | wenzelm | moved SVC stuff to ex; | file | diff | annotate |
| Thu, 06 Dec 2001 00:39:40 +0100 | wenzelm | less_induct, wf_induct_rule; | file | diff | annotate |
| Wed, 28 Nov 2001 00:37:40 +0100 | wenzelm | tuned declarations; | file | diff | annotate |
| Fri, 02 Nov 2001 22:01:58 +0100 | wenzelm | theory Calculation move to Set; | file | diff | annotate |