Mostly improving theory format (adding line breaks) and added
a few missing qualifiers to restrict auto to first goal in a
proof. Also extended the exception datatype.
Description
Description
Details
Details
- Provenance
Achim D. Brucker <adbrucker@0x5f.org> Authored on - Parents
- rAFPc02eaed866dc: data extend is obsolete and should be identity;
- Branches
- Unknown
- Tags