| Fri, 03 Sep 2004 17:10:36 +0200 | obua | Matrix theory, linear programming | 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, 30 Jul 2004 18:37:58 +0200 | paulson | conversion of Integration and NSPrimes to Isar scripts | file | diff | annotate |
| Tue, 29 Jun 2004 11:18:34 +0200 | kleing | license change to BSD | file | diff | annotate |
| Fri, 21 May 2004 21:16:51 +0200 | wenzelm | removed duplicate thms; | file | diff | annotate |
| Tue, 18 May 2004 10:01:44 +0200 | obua | Modification / Installation of Provers/Arith/abel_cancel.ML for OrderedGroup.thy | file | diff | annotate |
| Tue, 11 May 2004 20:11:08 +0200 | obua | changes made due to new Ring_and_Field theory | file | diff | annotate |