Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. irrelevant reference to doubtful theory Code_Char
  2. avoid concrete (anti)mono in theorem names since it could be the other way round
Changeset 67526:a585c5b53576 by haftmann:
irrelevant reference to doubtful theory Code_Char
The file was modified src/Doc/Codegen/Computations.thy (diff)
Changeset 67525:5d04d7bcd5f6 by haftmann:
avoid concrete (anti)mono in theorem names since it could be the other way round
The file was modified NEWS (diff)
The file was modified src/HOL/Lattices_Big.thy (diff)