Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Resolution_FOL extended with more soundness and completeness theorems
Changeset 8825:1372df8e7299 by anders schlichtkrull _andschl@dtu.dk_:
Resolution_FOL extended with more soundness and completeness theorems
The file was modified metadata/metadata (diff)
The file was modified thys/Resolution_FOL/Completeness.thy (diff)
The file was modified thys/Resolution_FOL/Examples.thy (diff)
The file was modified thys/Resolution_FOL/Resolution.thy (diff)
The file was modified thys/Resolution_FOL/TermsAndLiterals.thy (diff)
The file was modified thys/Resolution_FOL/Tree.thy (diff)
The file was modified thys/Resolution_FOL/document/root.bib (diff)
The file was modified thys/Resolution_FOL/document/root.tex (diff)