Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. misc tuning and modernization; proper document setup;
Changeset 63506:cb0882cf150d by wenzelm:
merged
Changeset 63505:42e1dece537a by wenzelm:
misc tuning and modernization;<br>proper document setup;
The file was addedsrc/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)