src/HOL/Metis_Examples/Abstraction.thy
2010-12-29 wenzelm 2010-12-29 explicit file specifications -- avoid secondary load path;
2010-12-15 blanchet 2010-12-15 example tuning
2010-09-01 blanchet 2010-09-01 rename sledgehammer config attributes
2010-04-30 blanchet 2010-04-30 minor improvements
2010-04-29 blanchet 2010-04-29 redid some Sledgehammer/Metis proofs
2009-10-20 wenzelm 2009-10-20 modernized session Metis_Examples;