| Tue, 20 Sep 2005 14:03:37 +0200 | wenzelm | tuned theory dependencies; | file | diff | annotate |
| Thu, 10 Feb 2005 18:51:12 +0100 | nipkow | Moved oderings from HOL into the new Orderings.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 |
| Tue, 29 Jun 2004 11:18:34 +0200 | kleing | license change to BSD | file | diff | annotate |
| Tue, 11 May 2004 20:11:08 +0200 | obua | changes made due to new Ring_and_Field theory | file | diff | annotate |