Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Added quotes to avoid conflict with keyword derive from the entry Deriving
Changeset 8959:ae50999898af by anders schlichtkrull _andschl@dtu.dk_:
Added quotes to avoid conflict with keyword derive from the entry Deriving
The file was modified thys/Ordered_Resolution_Prover/Proving_Process.thy (diff)