Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. removed 'freeze_problem_consts' hack in TPTP tools, which wasn't compatible with post-2016 reforms to local theories
  2. separation of traditional bit operations
Changeset 72001:3e08311ada8e by blanchet:
removed 'freeze_problem_consts' hack in TPTP tools, which wasn't compatible with post-2016 reforms to local theories
The file was modified NEWS (diff)
The file was modified src/HOL/TPTP/ATP_Problem_Import.thy (diff)
The file was modified src/HOL/TPTP/atp_problem_import.ML (diff)
Changeset 72000:379d0c207c29 by haftmann:
separation of traditional bit operations
The file was addedsrc/HOL/Word/Misc_lsb.thy
The file was addedsrc/HOL/Word/Misc_msb.thy
The file was addedsrc/HOL/Word/Misc_set_bit.thy
The file was addedsrc/HOL/Word/Traditional_Syntax.thy
The file was modified NEWS (diff)
The file was modified src/HOL/Word/Ancient_Numeral.thy (diff)
The file was modified src/HOL/Word/Bit_Comprehension.thy (diff)
The file was modified src/HOL/Word/Bits_Int.thy (diff)
The file was modified src/HOL/Word/More_Word.thy (diff)
The file was modified src/HOL/Word/Word.thy (diff)
The file was modified src/HOL/Word/Word_Examples.thy (diff)
The file was removedsrc/HOL/Word/Bits.thy