Summary
- updated NEWS
- removed dead code
- removed old 'add_datatype' ML functions
- kill old size infrastructure
The file was modified | NEWS (diff) |
The file was modified | src/HOL/Tools/Old_Datatype/old_datatype_aux.ML (diff) |
The file was modified | src/HOL/Tools/Old_Datatype/old_datatype.ML (diff) |
The file was modified | src/HOL/Basic_BNF_LFPs.thy (diff) |
The file was modified | src/HOL/Code_Numeral.thy (diff) |
The file was modified | src/HOL/Library/Multiset.thy (diff) |
The file was modified | src/HOL/Nat.thy (diff) |
The file was removed | src/HOL/Tools/Old_Datatype/old_size.ML |