2011-09-22 berghofe merged
2011-09-22 berghofe Added documentation for HOL-SPARK
2011-09-22 blanchet drop partial monomorphic instances in Metis, like in Sledgehammer
2011-09-22 blanchet better type reconstruction -- prevents ill-instantiations in proof replay
2011-09-22 hoelzl NEWS: mention replacement lemmas for the removed ones in Complete_Lattices
2011-09-22 bulwahn changing quickcheck_timeout to 30 seconds in mutabelle's testing
2011-09-22 bulwahn adding post-processing of terms to narrowing-based Quickcheck
2011-09-22 huffman HOL/ex/ROOT.ML: only list BinEx once
2011-09-21 huffman merged
2011-09-21 huffman remove redundant instantiation ereal :: power
2011-09-21 blanchet reintroduced Minipick as Nitpick example
2011-09-21 blanchet tuned comment
2011-09-21 huffman merged
2011-09-20 huffman Extended_Real_Limits: generalize some lemmas
Loading...
(0) -30000 -10000 -3000 -1000 -300 -100 -14 +14 +100 +300 +1000 +3000 +10000 +30000 tip