Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merge
  2. reordered constants and assumptions in locale and removed unnecessary quantifiers
Changeset 9450:48cb6bc17b74 by anders schlichtkrull _andschl@dtu.dk_:
merge
Changeset 9449:e8131d5894ae by anders schlichtkrull _andschl@dtu.dk_:
reordered constants and assumptions in locale and removed unnecessary quantifiers
The file was modified thys/Ordered_Resolution_Prover/Abstract_Substitution.thy (diff)
The file was modified thys/Ordered_Resolution_Prover/FO_Ordered_Resolution.thy (diff)
The file was modified thys/Ordered_Resolution_Prover/FO_Ordered_Resolution_Prover.thy (diff)