History log of /seL4-l4v-master/l4v/isabelle/src/Tools/Argo/argo_term.ML
Revision Date Author Comments
# 438cc573 20-Aug-2019 wenzelm <none@none>

clarified signature;
# 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