Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. better variable and constant names
Changeset 9055:9fbf2960518d by anders schlichtkrull _andschl@dtu.dk_:
better variable and constant names
The file was modified thys/Ordered_Resolution_Prover/FO_Ordered_Resolution_Prover.thy (diff)