src/HOL/IsaMakefile
2009-03-04 chaieb 2009-03-04 Added Libray dependency on Topology_Euclidean_Space
2009-03-04 blanchet 2009-03-04 Merge.
2009-03-04 blanchet 2009-03-04 Merge.
2009-03-04 nipkow 2009-03-04 Made Option a separate theory and renamed option_map to Option.map
2009-02-28 wenzelm 2009-02-28 A Serbian theory, by Filip Maric.
2009-02-28 wenzelm 2009-02-28 moved generic intuitionistic prover to src/Tools/intuitionistic.ML;
2009-02-28 wenzelm 2009-02-28 moved some generic tools to src/Tools/ -- src/Provers is essentially obsolete;
2009-02-26 wenzelm 2009-02-26 merged
2009-02-25 huffman 2009-02-25 new theory of Archimedean fields
2009-02-22 haftmann 2009-02-22 formal dependency on newly emerging algorithm
2009-02-20 huffman 2009-02-20 add theory of products as real vector spaces to Library
2009-02-20 huffman 2009-02-20 add new theory Product_plus.thy to Library
2009-02-19 huffman 2009-02-19 add formalization of a type of integers mod 2 to Library
2009-02-19 huffman 2009-02-19 new theory of real inner product spaces
2009-02-18 huffman 2009-02-18 move Polynomial.thy to Library
2009-02-18 huffman 2009-02-18 move FrechetDeriv.thy to Library
2009-02-18 huffman 2009-02-18 split polynomial-related stuff from Deriv.thy into Library/Poly_Deriv.thy
2009-02-13 nipkow 2009-02-13 Moved Nat_Int_Bij into Library
2009-02-12 nipkow 2009-02-12 Moved FTA into Lib and cleaned it up a little.
2009-02-11 nipkow 2009-02-11 Moved Order_Relation into Library and moved some of it into Relation.
2009-02-09 chaieb 2009-02-09 added Determinants to Library
2009-02-09 chaieb 2009-02-09 added Euclidean_Space and Glbs to Library
2009-02-09 chaieb 2009-02-09 Added HOL/Library/Finite_Cartesian_Product.thy to Library
2009-02-06 haftmann 2009-02-06 session Reflecion renamed to Decision_Procs, moved Dense_Linear_Order there
2009-02-06 chaieb 2009-02-06 fixed dependencies : Theory Dense_Linear_Order moved to Library
2009-02-05 haftmann 2009-02-05 merged
2009-02-05 haftmann 2009-02-05 moved Random.thy to Library
2009-02-05 hoelzl 2009-02-05 Add approximation method
2009-02-05 hoelzl 2009-02-05 Added new Float theory and moved old Library/Float.thy to ComputeFloat
2009-02-03 haftmann 2009-02-03 merged Big0
2009-02-03 haftmann 2009-02-03 established session HOL-Reflection
2009-02-16 wenzelm 2009-02-16 removed obsolete axclass manual and examples;
2009-02-02 haftmann 2009-02-02 added Mapping.thy to Library
2009-01-30 krauss 2009-01-30 fixed case
2009-01-30 chaieb 2009-01-30 Added Formal_Power_Series_Examples to HOL-ex image
2009-01-29 chaieb 2009-01-29 Inserted Formal_Power_Series.thy under Library
2009-01-28 haftmann 2009-01-28 Reflection.thy now in HOL/Library
2009-01-26 haftmann 2009-01-26 entry point for Word library now named Word
2009-01-17 haftmann 2009-01-17 no document for HOL-Base
2009-01-16 haftmann 2009-01-16 added HOL-Base image
2009-01-12 huffman 2009-01-12 add Polynomial.thy to makefile
2009-01-08 haftmann 2009-01-08 split of Imperative_HOL theories from HOL-Library
2008-12-29 haftmann 2008-12-29 adapted HOL source structure to distribution layout
2008-12-27 krauss 2008-12-27 renamed LexOrds.thy to Termination.thy; examples for sizechange method
2008-12-16 krauss 2008-12-16 method "sizechange" proves termination of functions; added more infrastructure for termination proofs
2008-12-15 nipkow 2008-12-15 merged
2008-12-11 nipkow 2008-12-11 Testfile for Stefan's code generator
2008-12-15 haftmann 2008-12-15 moved value.ML to src/Tools
2008-12-10 nipkow 2008-12-10 moved ContNotDenum into Library
2008-12-03 haftmann 2008-12-03 made repository layout more coherent with logical distribution structure; stripped some $Id$s
2008-11-29 nipkow 2008-11-29 new file float_syntax.ML
2008-11-17 wenzelm 2008-11-17 removed Induct/Mutil.thy -- the file has been moved to AFP;
2008-11-15 wenzelm 2008-11-15 clean: added HOL-Main;
2008-11-13 haftmann 2008-11-13 moved assert to Heap_Monad.thy
2008-10-21 berghofe 2008-10-21 Added nominal_inductive2.ML
2008-10-17 wenzelm 2008-10-17 reactivated HOL-Matrix; minor cleanup;
2008-10-16 ballarin 2008-10-16 Removed ex/Locales.thy.
2008-10-14 wenzelm 2008-10-14 renamed AtpThread to AtpWrapper;
2008-10-04 wenzelm 2008-10-04 replaced ISATOOL by ISABELLE_TOOL;
2008-10-03 wenzelm 2008-10-03 version of sledgehammer using threads instead of processes, misc cleanup; (by Fabian Immler);