src/HOL/Tools/Argo/argo_tactic.ML
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