Open Jazzpirate opened 5 years ago
If parsed as mpath, their syntax is <abbrev>:?<rest> ; if parsed as term it is <abbrev>?<rest>. The former notably is the case in theory include statements, meta-theories etc., the latter in view/structure includes and rule constants.
<abbrev>:?<rest>
<abbrev>?<rest>
If parsed as mpath, their syntax is
<abbrev>:?<rest>; if parsed as term it is<abbrev>?<rest>. The former notably is the case in theory include statements, meta-theories etc., the latter in view/structure includes and rule constants.