Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Remove unnecessary constants and adapt proofs
  2. Typo in reference
Changeset 8843:238071831059 by anders schlichtkrull _andschl@dtu.dk_:
Remove unnecessary constants and adapt proofs
The file was modified thys/Ordered_Resolution_Prover/FO_Ordered_Resolution.thy (diff)
Changeset 8842:7f12487ca52f by anders schlichtkrull _andschl@dtu.dk_:
Typo in reference
The file was modified metadata/metadata (diff)