src/HOL/Metis_Examples/Message.thy
2016-05-26 wenzelm 2016-05-26 isabelle update_cartouches -c -t;
2016-02-23 nipkow 2016-02-23 more canonical names
2015-12-30 wenzelm 2015-12-30 more symbols;
2015-09-01 wenzelm 2015-09-01 eliminated \<Colon>;
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-09-11 blanchet 2014-09-11 updated news
2014-09-09 blanchet 2014-09-09 use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries
2013-08-13 wenzelm 2013-08-13 standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;
2013-01-03 blanchet 2013-01-03 use new skolemizer for reconstructing skolemization steps in Isar proofs (because the old skolemizer messes up the order of the Skolem arguments)
2012-01-02 blanchet 2012-01-02 reintroduced "metis" call taken out after reintroducing "set" as a constructor, and added two "metis" calls that used to be too slow
2011-12-24 haftmann 2011-12-24 adjusted to set/pred distinction by means of type constructor `set`
2011-11-20 wenzelm 2011-11-20 eliminated obsolete "standard";
2011-11-15 huffman 2011-11-15 remove one more old-style semicolon
2011-11-15 huffman 2011-11-15 remove old-style semicolons
2011-06-06 blanchet 2011-06-06 tuned Metis examples
2011-04-23 wenzelm 2011-04-23 modernized specifications;
2011-03-24 blanchet 2011-03-24 Metis examples use the new Skolemizer to test it
2010-12-15 blanchet 2010-12-15 example tuning
2010-12-15 blanchet 2010-12-15 added example to exercise higher-order reasoning with Sledgehammer and Metis
2010-09-09 blanchet 2010-09-09 "resurrected" a Metis proof
2010-05-14 blanchet 2010-05-14 improved Sledgehammer proofs
2010-04-30 wenzelm 2010-04-30 eliminated spurious sledgehammer invocation;
2010-04-28 blanchet 2010-04-28 redo some of the metis proofs
2010-03-01 haftmann 2010-03-01 replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
2010-02-11 wenzelm 2010-02-11 modernized syntax/translations;
2010-02-10 haftmann 2010-02-10 minor metis proof tuning
2010-02-08 wenzelm 2010-02-08 modernized some syntax translations;
2009-10-20 wenzelm 2009-10-20 modernized session Metis_Examples;