src/HOL/Tools/Metis/metis_tactics.ML
Wed, 06 Oct 2010 17:42:57 +0200 blanchet get rid of function that duplicates existing Pure functionality
Wed, 06 Oct 2010 12:01:55 +0200 blanchet added a few FIXMEs
Tue, 05 Oct 2010 12:50:45 +0200 blanchet tuned comments
Tue, 05 Oct 2010 11:45:10 +0200 blanchet hide uninteresting MESON/Metis constants and facts and remove "meson_" prefix to (now hidden) fact names
Tue, 05 Oct 2010 11:14:56 +0200 blanchet clean up debugging output
Tue, 05 Oct 2010 10:59:12 +0200 blanchet got rid of overkill "meson_choice" attribute;
Mon, 04 Oct 2010 22:45:09 +0200 blanchet move Metis into Plain
less more (0) tip