HomeIsabelle/Phabricator

Mostly improving theory format (adding line breaks) and added

Description

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.

Details

Committed
Achim D. Brucker <adbrucker@0x5f.org>Fri, Jul 24, 12:07 PM
Parents
rAFPc02eaed866dc: data extend is obsolete and should be identity;
Branches
Unknown
Tags
Unknown