Summary
- merged
- misc tuning and modernization; proper document setup;
The file was added | src/CTT/document/root.tex |
The file was modified | src/CTT/Arith.thy (diff) |
The file was modified | src/CTT/Bool.thy (diff) |
The file was modified | src/CTT/CTT.thy (diff) |
The file was modified | src/CTT/Main.thy (diff) |
The file was modified | src/CTT/ROOT (diff) |
The file was modified | src/CTT/ex/Elimination.thy (diff) |