src/HOL/MetisExamples/TransClosure.thy
2008-10-14 wenzelm 2008-10-14 renamed AtpThread to AtpWrapper;
2008-10-03 wenzelm 2008-10-03 updated to new AtpManager;
2007-06-21 paulson 2007-06-21 integration of Metis prover