src/HOL/MetisExamples/Tarski.thy
2009-03-02 nipkow 2009-03-02 name changes
2008-10-14 wenzelm 2008-10-14 renamed AtpThread to AtpWrapper;
2008-10-03 wenzelm 2008-10-03 updated to new AtpManager;
2008-07-25 haftmann 2008-07-25 dropped locale (open)
2008-06-26 haftmann 2008-06-26 established Plain theory and image
2008-05-07 berghofe 2008-05-07 Adapted to encoding of sets as predicates
2008-03-29 wenzelm 2008-03-29 replaced 'ML' by diagnostic 'ML_command';
2007-12-19 paulson 2007-12-19 Replaced refs by config params; finer critical section in mets method
2007-10-05 paulson 2007-10-05 metis method: used theorems
2007-10-04 paulson 2007-10-04 combinator translation
2007-09-06 paulson 2007-09-06 new proofs found
2007-06-21 paulson 2007-06-21 integration of Metis prover