doc-src/manual.bib
2012-02-24 blanchet 2012-02-24 added support for Alt-Ergo through Why3 (mostly for experimental purposes, e.g. polymorphism vs. monomorphization)
2012-02-04 wenzelm 2012-02-04 more refs;
2011-11-04 blanchet 2011-11-04 document new experimental provers
2011-10-23 wenzelm 2011-10-23 some text on inner-syntax;
2011-08-09 blanchet 2011-08-09 updated references to CADE-23
2011-07-28 noschinl 2011-07-28 document coercions
2011-06-27 blanchet 2011-06-27 added reference for MESON
2011-06-08 wenzelm 2011-06-08 merged
2011-05-24 blanchet 2011-05-24 document primitive support for LEO-II and Satallax
2011-05-22 blanchet 2011-05-22 document Waldmeister
2011-05-25 wenzelm 2011-05-25 updated and re-unified HOL typedef, with some live examples;
2011-05-20 blanchet 2011-05-20 more doc fiddling
2011-05-01 blanchet 2011-05-01 added support for ToFoF prover for experimenting with the TPTP TFF (typed first-order) format
2011-04-04 blanchet 2011-04-04 document "nitpick(_params)", "refute(_params)", "try", "sledgehammer(_params)", and "solve_direct"
2010-12-03 blanchet 2010-12-03 update documentation
2010-10-24 wenzelm 2010-10-24 merged
2010-10-22 blanchet 2010-10-22 added SMT solver to Sledgehammer docs
2010-10-21 wenzelm 2010-10-21 more refs;
2010-10-18 wenzelm 2010-10-18 somewhat modernized version of "Thread-safe programming";
2010-10-15 wenzelm 2010-10-15 tuned chapter arrangement;
2010-10-08 wenzelm 2010-10-08 more on ML antiquotations; tuned;
2010-09-21 haftmann 2010-09-21 added nbe paper
2010-09-06 blanchet 2010-09-06 fix editor
2010-08-27 haftmann 2010-08-27 official support for Scala
2010-08-19 blanchet 2010-08-19 added entries
2010-08-16 haftmann 2010-08-16 adaptation to new outline
2010-06-14 haftmann 2010-06-14 extended bib
2010-05-14 blanchet 2010-05-14 added Sledgehammer manual; some material was recovered from the Isar material, the rest is new
2010-03-09 blanchet 2010-03-09 added "finitize" option to Nitpick + remove dependency on "Coinductive_List"
2010-02-09 blanchet 2010-02-09 optimization to quantifiers in Nitpick's handling of simp rules + renamed some SAT solvers
2009-11-30 bulwahn 2009-11-30 adding subsection about the predicate compiler to the code generator tutorial
2009-11-23 krauss 2009-11-23 mentioned method size_change in function tutorial
2009-10-22 blanchet 2009-10-22 Added Nitpick manual.
2009-09-15 wenzelm 2009-09-15 updated bib;
2009-05-26 haftmann 2009-05-26 weakend references to old axclass
2009-03-04 blanchet 2009-03-04 Merge.
2009-03-04 blanchet 2009-03-04 Merge.
2009-02-28 wenzelm 2009-02-28 more refs;
2009-02-26 wenzelm 2009-02-26 added Haftmann-Wenzel:2009;
2009-02-11 wenzelm 2009-02-11 more refs;
2009-02-09 wenzelm 2009-02-09 more refs;
2008-11-18 wenzelm 2008-11-18 added isabelle-implementation manual;
2008-10-14 haftmann 2008-10-14 continued codegen tutorial
2008-06-03 wenzelm 2008-06-03 added Wenzel:2006:Festschrift;
2007-11-05 nipkow 2007-11-05 fix
2007-10-19 krauss 2007-10-19 updated
2007-09-18 haftmann 2007-09-18 updated
2007-09-03 krauss 2007-09-03 Documented function package in IsarRef-manual.
2007-08-09 haftmann 2007-08-09 updated
2007-07-24 haftmann 2007-07-24 updated
2007-06-26 paulson 2007-06-26 completed some references
2007-06-01 krauss 2007-06-01 added some bibtex entries
2007-02-14 haftmann 2007-02-14 continued class tutorial
2007-02-10 haftmann 2007-02-10 added references for code generator tutorial
2006-10-20 haftmann 2006-10-20 added entries for tutorials
2006-09-12 wenzelm 2006-09-12 added Gentzen:1935;
2006-09-05 wenzelm 2006-09-05 added Barendregt-Geuvers:2001;
2005-01-08 nipkow 2005-01-08 new citation
2004-02-12 nipkow 2004-02-12 Missing } inserted
2004-02-10 paulson 2004-02-10 updated links to the old ftp site