Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. misc tuning;
Changeset 64980:7dc25cf5793e by wenzelm:
misc tuning;
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/ex/Elimination.thy (diff)