src/HOL/Tools/Metis/metis_reconstruct.ML
2010-10-29 blanchet 2010-10-29 make handling of parameters more robust, by querying the goal
2010-10-27 blanchet 2010-10-27 do not let Metis be confused by higher-order reasoning leading to literals of the form "~ ~ p", which are really the same as "p"
2010-10-26 blanchet 2010-10-26 clearer error messages
2010-10-11 blanchet 2010-10-11 added "trace_metis" configuration option, replacing old-fashioned references
2010-10-06 blanchet 2010-10-06 move code from "Metis_Tactics" to "Metis_Reconstruct"
2010-10-05 blanchet 2010-10-05 tuned comments
2010-10-05 blanchet 2010-10-05 hide uninteresting MESON/Metis constants and facts and remove "meson_" prefix to (now hidden) fact names
2010-10-04 blanchet 2010-10-04 move Metis into Plain