Summary
- tuned
- tuned
- strengthened type class for bit operations
The file was modified | src/Doc/Prog_Prove/document/intro-isabelle.tex (diff) |
The file was modified | src/HOL/IMP/Compiler.thy (diff) |
The file was modified | src/HOL/Code_Numeral.thy (diff) |
The file was modified | src/HOL/Divides.thy (diff) |
The file was modified | src/HOL/Lattices.thy (diff) |
The file was modified | src/HOL/Parity.thy (diff) |
The file was modified | src/HOL/ex/Word.thy (diff) |