Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. extract lemma
Changeset 8860:d5fabf1037f8 by anders schlichtkrull _andschl@dtu.dk_:
extract lemma
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)