2003-12-10 ballarin Isar: where attribute supports instantiation of type variables.
2003-12-10 ballarin New structure "partial_object" as common root for lattices and magmas.
2003-12-10 ballarin Isar: where attribute supports instantiation of type vars.
2003-12-07 paulson re-organisation of Real/RealArith0.ML; more `Isar scripts
2003-12-06 kleing moreover and also do not reset facts any more
2003-12-06 kleing do not reset facts ('this') for moreover and also
2003-12-06 kleing make Pure first to avoid race conditions on multiprocessor machines
2003-12-06 kleing revert to 1.18, changed Distribution/lib/Tools/makeall instead
2003-12-06 kleing make Pure first to avoid race conditions on multi processor machines
2003-12-05 skalberg Added lazy sequences and parser combinators for same.
2003-12-05 paulson more field division lemmas transferred from Real to Ring_and_Field
2003-12-05 paulson stylistic changes
2003-12-05 paulson Converting more of the "real" development to Isar scripts
2003-12-04 nipkow hide Push
2003-12-04 paulson further simplifications of the integer development; converting more .ML files
2003-12-04 paulson Tidying of the integer development; towards removing the
2003-12-03 paulson Simplification of the development of Integers
2003-12-02 paulson More re-organising of numerical theorems
2003-11-28 paulson conversion of some Real theories to Isar scripts
2003-11-27 paulson Removal of Hyperreal/ExtraThms2.ML, sending the material to the correct files.
2003-11-25 paulson More refinements to Ring_and_Field and numerics. Conversion of Divides_lemmas
2003-11-24 paulson conversion of integers to use Ring_and_Field;
2003-11-21 paulson HOL: installation of Ring_and_Field as the basis for Naturals and Reals
2003-11-20 paulson conversion of Integ/Int_lemmas.ML to Isar script
2003-11-20 paulson including 0 ~= 1 in definition of Field
2003-11-19 paulson additions to Ring_and_Field
2003-11-18 paulson fixed a comment
2003-11-18 paulson new theorems for Rings
Loading...
(0) -10000 -3000 -1000 -300 -100 -50 -28 +28 +50 +100 +300 +1000 +3000 +10000 +30000 tip