src/HOL/MetisExamples/BT.thy
2009-02-03 haftmann 2009-02-03 dropped global Nil/Append interpretation
2009-01-16 haftmann 2009-01-16 migrated class package to new locale implementation
2008-10-14 wenzelm 2008-10-14 renamed AtpThread to AtpWrapper;
2008-10-03 wenzelm 2008-10-03 updated to new AtpManager;
2008-06-10 haftmann 2008-06-10 rep_datatype command now takes list of constructors as input arguments
2008-03-17 wenzelm 2008-03-17 avoid rebinding of existing facts;
2007-11-23 paulson 2007-11-23 faster metis calls
2007-06-21 paulson 2007-06-21 integration of Metis prover