Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- merged
- bundle for cardinal syntax
The file was modified | src/Doc/Datatypes/Datatypes.thy |
The file was modified | src/HOL/Cardinals/Wellorder_Constructions.thy |
The file was modified | src/HOL/Library/Countable_Set_Type.thy |
The file was modified | src/HOL/Main.thy |
The file was modified | src/HOL/ROOT |
The file was removed | src/HOL/Library/Cardinal_Notations.thy |