Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. more symbols;
  3. prefer local contexts;
  4. more symbols;
  5. proper subscript;
Changeset 7005:37795ece1665 by wenzelm:
merged
Changeset 7004:8aac57c9e8bf by wenzelm:
more symbols;
The file was modified thys/LinearQuantifierElim/Thys/CertDlo.thy (diff)
The file was modified thys/LinearQuantifierElim/Thys/CertLin.thy (diff)
The file was modified thys/LinearQuantifierElim/Thys/QEdlo_ex.thy (diff)
The file was modified thys/LinearQuantifierElim/Thys/QEdlo_fr.thy (diff)
The file was modified thys/LinearQuantifierElim/Thys/QElin_inf.thy (diff)
Changeset 7003:2a20422b372f by wenzelm:
prefer local contexts;
The file was modified thys/LinearQuantifierElim/Thys/DLO.thy (diff)
The file was modified thys/LinearQuantifierElim/Thys/FRE.thy (diff)
The file was modified thys/LinearQuantifierElim/Thys/LinArith.thy (diff)
The file was modified thys/LinearQuantifierElim/Thys/QE.thy (diff)
The file was modified thys/LinearQuantifierElim/Thys/QEdlo_fr.thy (diff)
The file was modified thys/LinearQuantifierElim/Thys/QEdlo_inf.thy (diff)
The file was modified thys/LinearQuantifierElim/Thys/QElin_inf.thy (diff)
Changeset 7002:79d0409db5fc by wenzelm:
more symbols;
The file was modified thys/LinearQuantifierElim/Thys/DLO.thy (diff)
Changeset 7001:d82e7d94a635 by wenzelm:
proper subscript;
The file was modified thys/LinearQuantifierElim/Thys/Cooper.thy (diff)
The file was modified thys/LinearQuantifierElim/Thys/DLO.thy (diff)
The file was modified thys/LinearQuantifierElim/Thys/LinArith.thy (diff)
The file was modified thys/LinearQuantifierElim/Thys/Logic.thy (diff)
The file was modified thys/LinearQuantifierElim/Thys/PresArith.thy (diff)
The file was modified thys/LinearQuantifierElim/Thys/QEdlo_fr.thy (diff)
The file was modified thys/LinearQuantifierElim/Thys/QEdlo_inf.thy (diff)
The file was modified thys/LinearQuantifierElim/Thys/QElin_inf.thy (diff)