| Mon, 08 Feb 2010 17:12:38 +0100 | haftmann | renamed OrderedGroup to Groups; split theory Ring_and_Field into Rings Fields | file | diff | annotate |
| Fri, 13 Nov 2009 14:14:04 +0100 | nipkow | renamed lemmas "anti_sym" -> "antisym" | file | diff | annotate |
| Fri, 18 Jul 2008 18:25:53 +0200 | haftmann | moved op dvd to theory Ring_and_Field; generalized a couple of lemmas | file | diff | annotate |
| Tue, 10 Jul 2007 09:23:12 +0200 | haftmann | constant dvd now in class target | file | diff | annotate |
| Sat, 18 Nov 2006 00:20:24 +0100 | haftmann | dvd_def now with object equality | file | diff | annotate |
| Mon, 29 Aug 2005 16:51:39 +0200 | obua | Updated import. | file | diff | annotate |
| Fri, 02 Apr 2004 17:37:45 +0200 | skalberg | Added HOL proof importer. | file | diff | annotate |