2010-02-23 blanchet 2010-02-23 document Quickcheck's "no_assms" option
2010-02-24 haftmann 2010-02-24 tuned comment
2010-02-23 hoelzl 2010-02-23 merged
2010-02-23 hoelzl 2010-02-23 Moved old Integration to examples.
2010-02-23 bulwahn 2010-02-23 merged
2010-02-23 bulwahn 2010-02-23 merged
2010-02-23 bulwahn 2010-02-23 adding ROOT.ML to HOL-Mutabelle session; uncommenting HOL.induct constants in Mutabelle session
2010-02-23 bulwahn 2010-02-23 adopting mutabelle and quickcheck to return timing information; exporting make_case_combs in datatype package for predicate compiler; adding Spec_Rules declaration for tail recursive functions; improving the predicate compiler and function flattening
2010-02-23 boehmes 2010-02-23 separated narrowing timeouts for intermediate and final steps
2010-02-23 haftmann 2010-02-23 merged
2010-02-23 haftmann 2010-02-23 merged
2010-02-23 haftmann 2010-02-23 dropped axclass; dropped Id; session theory Hoare.thy
2010-02-23 haftmann 2010-02-23 dropped session W0; c.f. MiniML in AFP
2010-02-23 haftmann 2010-02-23 dropped axclass, going back to purely syntactic type classes
2010-02-23 haftmann 2010-02-23 dropped axclass; dropped Id
2010-02-23 haftmann 2010-02-23 dropped axclass; dropped Id; session theory Hoare.thy
2010-02-23 haftmann 2010-02-23 dropped axclass
2010-02-23 Cezary Kaliszyk 2010-02-23 export prs_rules and rsp_rules attributes
2010-02-23 blanchet 2010-02-23 merge
2010-02-23 blanchet 2010-02-23 improved precision of small sets in Nitpick
2010-02-23 blanchet 2010-02-23 improved Nitpick's support for quotient types
2010-02-23 hoelzl 2010-02-23 Forgot to check NSA in changeset e4a431b6d9b7 ; Removed import of Integration
2010-02-23 blanchet 2010-02-23 catch IO errors in Nitpick's "kodkodi" invocation + shorten execution time of "Manual_Nits" example
2010-02-23 haftmann 2010-02-23 mind the "s"
2010-02-23 haftmann 2010-02-23 merged
2010-02-22 haftmann 2010-02-22 NEWS
2010-02-22 haftmann 2010-02-22 added missing separator
2010-02-22 haftmann 2010-02-22 more accurate when registering new types
2010-02-22 haftmann 2010-02-22 added Dlist
2010-02-22 haftmann 2010-02-22 tuned text
2010-02-22 haftmann 2010-02-22 distributed theory Algebras to theories Groups and Lattices
2010-02-22 haftmann 2010-02-22 merged
2010-02-22 haftmann 2010-02-22 proper distinction of code datatypes and abstypes
2010-02-22 haftmann 2010-02-22 merged
2010-02-22 haftmann 2010-02-22 merged
2010-02-22 haftmann 2010-02-22 merged
2010-02-20 haftmann 2010-02-20 lemma distinct_insert
2010-02-22 huffman 2010-02-22 proper header and subsection headings
2010-02-22 huffman 2010-02-22 remove unneeded premise from rat_floor_lemma and floor_Fract
2010-02-22 hoelzl 2010-02-22 Replaced Integration by Multivariate-Analysis/Real_Integration
2010-02-22 himmelma 2010-02-22 Support for one-dimensional integration in Multivariate-Analysis
2010-02-18 himmelma 2010-02-18 Equivalence between DERIV and one-dimensional derivation in Multivariate-Analysis
2010-02-22 huffman 2010-02-22 merged
2010-02-22 huffman 2010-02-22 add mixfix field to type Domain_Library.cons
2010-02-22 huffman 2010-02-22 remove unnecessary local
2010-02-21 huffman 2010-02-21 update to use fixrec package
2010-02-22 blanchet 2010-02-22 merge
2010-02-22 blanchet 2010-02-22 enabled Nitpick's support for quotient types + shortened the Nitpick tests a bit
2010-02-22 blanchet 2010-02-22 filter out trivial definitions in Nitpick (e.g. "Topology.topo" from AFP)
2010-02-22 haftmann 2010-02-22 dropped references to old axclass from documentation
2010-02-22 berghofe 2010-02-22 Fixed bug that caused (r)trancl_tac to crash when the term denoting the relation contained variables bound by meta level quantifiers.
2010-02-22 blanchet 2010-02-22 fixed a few bugs in Nitpick and removed unreferenced variables
2010-02-22 Cezary Kaliszyk 2010-02-22 update the keywords files
2010-02-22 Cezary Kaliszyk 2010-02-22 rename print_maps to print_quotmaps
2010-02-22 haftmann 2010-02-22 adjusted to cs. 8dfd816713c6
2010-02-22 haftmann 2010-02-22 NEWS
2010-02-22 haftmann 2010-02-22 merged
2010-02-22 haftmann 2010-02-22 tuned proofs
2010-02-22 haftmann 2010-02-22 ascii syntax for multiset order
2010-02-22 haftmann 2010-02-22 switched notations for pointwise and multiset order