History log of /seL4-l4v-master/isabelle/src/HOL/Tools/BNF/bnf_axiomatization.ML
Revision Date Author Comments
# 14c7fb8f 09-Aug-2019 wenzelm <none@none>

formal position for PThm nodes;
# a4bab154 04-Jan-2019 wenzelm <none@none>

isabelle update -u control_cartouches;
# 687e085e 28-May-2016 wenzelm <none@none>

clarified 'axiomatization';
# 68f9ecca 28-Apr-2016 wenzelm <none@none>

support 'assumes' in specifications, e.g. 'definition', 'inductive';
tuned signatures;
# fe42a4e9 22-Mar-2016 blanchet <none@none>

tuned whitespace
# 9828cea0 21-Mar-2016 blanchet <none@none>

put all 'bnf_*.ML' files together, irrespective of bootstrapping/dependency constraints

--HG--
rename : src/HOL/Library/bnf_axiomatization.ML => src/HOL/Tools/BNF/bnf_axiomatization.ML
rename : src/HOL/Library/bnf_lfp_countable.ML => src/HOL/Tools/BNF/bnf_lfp_countable.ML