Skip to content
Success

Changes

Summary

  1. tuning
Changeset 9433:b7e37a7d98c1 by blanchet:
tuning
The file was modified thys/Ordered_Resolution_Prover/FO_Ordered_Resolution_Prover.thy (diff)