Skip to content
Success

Changes

Summary

  1. eliminated spurious diagnostic commands -- make this work with skip_proofs;
Changeset 8586:9cde3861de00 by wenzelm:
eliminated spurious diagnostic commands -- make this work with skip_proofs;
The file was modified thys/Propositional_Proof_Systems/MiniSC_Craig.thy (diff)