Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper background certificate from make_context, which can be a super-theory of the direct join (amending d07464875dd4);
  2. misc tuning;
Changeset 64981:ea6199b23dfa by wenzelm:
proper background certificate from make_context, which can be a super-theory of the direct join (amending d07464875dd4);
The file was modified src/Pure/thm.ML (diff)
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)