src/HOL/Tools/Argo/argo_tactic.ML
2017-08-01 boehmes 2017-08-01 more explicit Argo proof traces; more correct proof replay for term applications
2016-10-02 wenzelm 2016-10-02 updated headers;
2016-09-29 boehmes 2016-09-29 new proof method "argo" for a combination of quantifier-free propositional logic with equality and linear real arithmetic