Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more symbols;
Changeset 7007:3d18ed864d6a by wenzelm:
more symbols;
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/FRE.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/QE.thy (diff)
The file was modified thys/LinearQuantifierElim/Thys/QEdlo_fr.thy (diff)