src/HOL/Tools/Argo/argo_tactic.ML
17 months ago wenzelm 2017-11-26 more symbols;
20 months ago 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