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