Fri, 28 Nov 2003 12:09:37 +0100 conversion of some Real theories to Isar scripts
paulson [Fri, 28 Nov 2003 12:09:37 +0100] rev 14269
conversion of some Real theories to Isar scripts
Thu, 27 Nov 2003 10:47:55 +0100 Removal of Hyperreal/ExtraThms2.ML, sending the material to the correct files.
paulson [Thu, 27 Nov 2003 10:47:55 +0100] rev 14268
Removal of Hyperreal/ExtraThms2.ML, sending the material to the correct files. New theorems for Ring_and_Field. Fixing affected proofs.
Tue, 25 Nov 2003 10:37:03 +0100 More refinements to Ring_and_Field and numerics. Conversion of Divides_lemmas
paulson [Tue, 25 Nov 2003 10:37:03 +0100] rev 14267
More refinements to Ring_and_Field and numerics. Conversion of Divides_lemmas to Isar script.
Mon, 24 Nov 2003 15:33:07 +0100 conversion of integers to use Ring_and_Field;
paulson [Mon, 24 Nov 2003 15:33:07 +0100] rev 14266
conversion of integers to use Ring_and_Field; new lemmas for Ring_and_Field
Fri, 21 Nov 2003 11:15:40 +0100 HOL: installation of Ring_and_Field as the basis for Naturals and Reals
paulson [Fri, 21 Nov 2003 11:15:40 +0100] rev 14265
HOL: installation of Ring_and_Field as the basis for Naturals and Reals
Thu, 20 Nov 2003 10:42:00 +0100 conversion of Integ/Int_lemmas.ML to Isar script
paulson [Thu, 20 Nov 2003 10:42:00 +0100] rev 14264
conversion of Integ/Int_lemmas.ML to Isar script
Thu, 20 Nov 2003 10:41:39 +0100 including 0 ~= 1 in definition of Field
paulson [Thu, 20 Nov 2003 10:41:39 +0100] rev 14263
including 0 ~= 1 in definition of Field
Wed, 19 Nov 2003 14:29:06 +0100 additions to Ring_and_Field
paulson [Wed, 19 Nov 2003 14:29:06 +0100] rev 14262
additions to Ring_and_Field
Tue, 18 Nov 2003 11:03:56 +0100 fixed a comment
paulson [Tue, 18 Nov 2003 11:03:56 +0100] rev 14261
fixed a comment
Tue, 18 Nov 2003 11:03:33 +0100 new theorems for Rings
paulson [Tue, 18 Nov 2003 11:03:33 +0100] rev 14260
new theorems for Rings
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip