Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. remove duplicate assumption and simplify proofs
Changeset 8853:e0e78f9da7cc by anders schlichtkrull _andschl@dtu.dk_:
merged
Changeset 8852:624efd5696f7 by anders schlichtkrull _andschl@dtu.dk_:
remove duplicate assumption and simplify proofs
The file was modified thys/Ordered_Resolution_Prover/FO_Ordered_Resolution_Prover.thy (diff)