src/HOL/Tools/Metis/metis_tactic.ML
2011-11-15 blanchet 2011-11-15 continued implementation of lambda-lifting in Metis
2011-11-15 blanchet 2011-11-15 started implementing lambda-lifting in Metis
2011-09-22 blanchet 2011-09-22 better type reconstruction -- prevents ill-instantiations in proof replay
2011-09-15 blanchet 2011-09-15 tuning
2011-09-07 blanchet 2011-09-07 rationalize uniform encodings
2011-09-02 blanchet 2011-09-02 renamed "Metis_Tactics" to "Metis_Tactic", now that there is only one Metis tactic ("metisFT" is legacy)