Summary
- moved examples to avoid dependency on bulky HOL-Proofs session, e.g. relevant for "isabelle makedist";
The file was added | src/HOL/Proofs/ex/Proof_Terms.thy |
The file was modified | src/Doc/Implementation/Logic.thy (diff) |
The file was modified | src/Doc/ROOT (diff) |
The file was modified | src/HOL/ROOT (diff) |