Skip to content
Success

Changes

Summary

  1. better lemma names
Changeset 9447:b4e6a44720c3 by anders schlichtkrull _andschl@dtu.dk_:
better lemma names
The file was modified thys/Ordered_Resolution_Prover/FO_Ordered_Resolution_Prover.thy (diff)
The file was modified thys/Ordered_Resolution_Prover/Proving_Process.thy (diff)