src/HOL/Metis_Examples/BigO.thy
2010-12-29 wenzelm 2010-12-29 explicit file specifications -- avoid secondary load path;
2010-12-15 blanchet 2010-12-15 example tuning
2010-09-09 blanchet 2010-09-09 replace two slow "metis" proofs with faster proofs
2010-09-01 blanchet 2010-09-01 rename sledgehammer config attributes
2010-08-20 haftmann 2010-08-20 split and enriched theory SetsAndFunctions
2010-06-02 blanchet 2010-06-02 kill another neg_clausify proof
2010-05-14 blanchet 2010-05-14 renamed Sledgehammer options
2010-05-11 hoelzl 2010-05-11 Removed usage of normalizating locales.
2010-05-07 haftmann 2010-05-07 prefix normalizing replaces class_semiring
2010-04-29 blanchet 2010-04-29 redo more Metis/Sledgehammer example
2010-04-28 blanchet 2010-04-28 remove removed option
2010-04-26 blanchet 2010-04-26 renamed option
2010-04-01 blanchet 2010-04-01 adapt syntax of Sledgehammer options in examples
2010-03-01 haftmann 2010-03-01 replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
2010-02-08 haftmann 2010-02-08 renamed OrderedGroup to Groups; split theory Ring_and_Field into Rings Fields
2010-02-05 haftmann 2010-02-05 more consistent naming of type classes involving orderings (and lattices) -- c.f. NEWS
2009-10-20 wenzelm 2009-10-20 modernized session Metis_Examples;