Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. updated NEWS
  2. removed dead code
  3. removed old 'add_datatype' ML functions
  4. kill old size infrastructure
Changeset 67335:641d7da6ff96 by blanchet:
updated NEWS
The file was modified NEWS (diff)
Changeset 67334:51a7c90fbf19 by blanchet:
removed dead code
The file was modified src/HOL/Tools/Old_Datatype/old_datatype_aux.ML (diff)
Changeset 67333:ac0b81ca3ed5 by blanchet:
removed old 'add_datatype' ML functions
The file was modified src/HOL/Tools/Old_Datatype/old_datatype.ML (diff)
Changeset 67332:cb96edae56ef by blanchet:
kill old size infrastructure
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 removedsrc/HOL/Tools/Old_Datatype/old_size.ML