| 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 |