src/HOL/Argo.thy
Sun, 06 Jan 2019 15:04:34 +0100 wenzelm isabelle update -u path_cartouches;
Thu, 29 Sep 2016 20:54:44 +0200 boehmes new proof method "argo" for a combination of quantifier-free propositional logic with equality and linear real arithmetic
less more (0) tip