clarified signature, following Isabelle/f362975e8ba1;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rAFP850f9e5e2631: more direct Proof_Context.init_global;
- Branches
- Unknown
- Tags
clarified signature, following Isabelle/f362975e8ba1; Tags None Subscribers None
Description
Details
|