Summary
- proof of concept for algebraically founded word types
- more lemmas
- option to report results of solve_direct as explicit warnings
- modernized option
- CONTRIBUTORS
The file was added | src/HOL/ex/Word_Type.thy |
The file was modified | src/HOL/ROOT (diff) |
The file was modified | src/HOL/Divides.thy (diff) |
The file was modified | src/HOL/Int.thy (diff) |
The file was modified | src/HOL/Transfer.thy (diff) |
The file was modified | NEWS (diff) |
The file was modified | src/Tools/solve_direct.ML (diff) |
The file was modified | src/Tools/solve_direct.ML (diff) |
The file was modified | CONTRIBUTORS (diff) |