History log of /seL4-l4v-master/isabelle/src/HOL/Argo.thy
Revision Date Author Comments
# e60cf64d 06-Jan-2019 wenzelm <none@none>

isabelle update -u path_cartouches;
# eb8139dc 29-Sep-2016 boehmes <none@none>

new proof method "argo" for a combination of quantifier-free propositional logic with equality and linear real arithmetic