History log of /seL4-l4v-10.1.1/l4v/isabelle/src/HOL/BNF_Wellorder_Embedding.thy
Revision Date Author Comments
# f5796e6d 14-Feb-2018 wenzelm <none@none>

more symbols;
# c7cc1919 26-Nov-2017 wenzelm <none@none>

more symbols;
# 1daf8189 13-May-2016 wenzelm <none@none>

eliminated use of empty "assms";
# 0df376fc 07-Dec-2015 wenzelm <none@none>

isabelle update_cartouches -c -t;
# 1901affb 18-Jul-2015 wenzelm <none@none>

isabelle update_cartouches;
# 6f0c89b5 26-Jun-2015 wenzelm <none@none>

tuned whitespace;
# 794edf80 02-Nov-2014 wenzelm <none@none>

modernized header uniformly as section;
# 502da60f 06-Mar-2014 traytel <none@none>

rationalized imports
# bbeeaf3d 28-Feb-2014 traytel <none@none>

load Metis a little later
# 8eddf2ab 22-Jan-2014 blanchet <none@none>

whitespace tuning
# 5fd16e81 20-Jan-2014 blanchet <none@none>

tuned comments
# 47096efc 20-Jan-2014 blanchet <none@none>

renamed '_FP' files to 'BNF_' files

--HG--
rename : src/HOL/Cardinal_Arithmetic_FP.thy => src/HOL/BNF_Cardinal_Arithmetic.thy
rename : src/HOL/Cardinal_Order_Relation_FP.thy => src/HOL/BNF_Cardinal_Order_Relation.thy
rename : src/HOL/Constructions_on_Wellorders_FP.thy => src/HOL/BNF_Constructions_on_Wellorders.thy
rename : src/HOL/Wellorder_Embedding_FP.thy => src/HOL/BNF_Wellorder_Embedding.thy
rename : src/HOL/Wellorder_Relation_FP.thy => src/HOL/BNF_Wellorder_Relation.thy