no references
::= '{' CW* ExtensionBlock? CW* UsesClause? CW* RulesOfInferenceBlock? CW* TheoryBlock CW* LocalizationBlock? CW* '}'
referenced by:
referenced by:
referenced by:
::= ':' 'ext'
referenced by:
::= regular_expression '/((?!:end).)*/'
referenced by:
::= ':' 'end' SW
referenced by:
referenced by:
referenced by:
referenced by:
::= 'inference'
| 'inf'
referenced by:
::= 'premise'
| 'pre'
referenced by:
::= 'conclusion'
| 'con'
referenced by:
referenced by:
referenced by:
referenced by:
referenced by:
referenced by:
::= 'theory'
| 'th'
referenced by:
referenced by:
referenced by:
referenced by:
referenced by:
referenced by:
FunctionalTermDefinitionBlock:
referenced by:
referenced by:
referenced by:
referenced by:
referenced by:
referenced by:
referenced by:
referenced by:
referenced by:
referenced by:
referenced by:
referenced by:
::= 'index'
| 'ind'
referenced by:
referenced by:
referenced by:
referenced by:
::= 'predicate'
| 'pred'
referenced by:
::= 'function'
| 'func'
referenced by:
referenced by:
referenced by:
referenced by:
::= IdStartsWithCap ( '.' IdStartsWithCap )+
referenced by:
::= 'class'
| 'cl'
referenced by:
::= 'object'
| 'obj'
referenced by:
referenced by:
::= 'template'
| 'tpl'
referenced by:
referenced by:
::= 'axiom'
| 'ax'
| 'postulate'
| 'post'
referenced by:
referenced by:
::= Property+
referenced by:
referenced by:
referenced by:
referenced by:
referenced by:
referenced by:
::= 'mandatory'
| 'mand'
| 'optional'
| 'opt'
referenced by:
referenced by:
referenced by:
referenced by:
referenced by:
referenced by:
::= '/' ArgumentIdentifier
referenced by:
referenced by:
referenced by:
referenced by:
referenced by:
referenced by:
referenced by:
referenced by:
AtList ::= '@'+
referenced by:
referenced by:
referenced by:
::= '*'
| '+'
referenced by:
ConditionFollowedByResultList:
referenced by:
referenced by:
TheoremLikeStatementOrConjecture:
referenced by:
TheoremLikeStatementOrConjectureHeader:
::= 'theorem'
| 'thm'
| 'conjecture'
| 'conj'
| 'proposition'
| 'prop'
| 'lemma'
| 'lem'
referenced by:
referenced by:
::= 'corollary'
| 'cor'
referenced by:
referenced by:
referenced by:
::= ( '' Digit )+
referenced by:
::= 'proof'
| 'prf'
referenced by:
referenced by:
referenced by:
referenced by:
::= 'assume'
| 'ass'
referenced by:
referenced by:
referenced by:
referenced by:
referenced by:
referenced by:
::= 'revoke'
| 'rev'
referenced by:
referenced by:
referenced by:
| 'true'
| 'false'
| extDigit
referenced by:
::= Identifier ( '.' PredicateWithArguments )+
referenced by:
referenced by:
referenced by:
referenced by:
referenced by:
::= Conjunction
| Negation
| All
| Exists
referenced by:
referenced by:
referenced by:
referenced by:
referenced by:
referenced by:
referenced by:
referenced by:
referenced by:
referenced by:
referenced by:
::= ExistsTimesN
| 'ex'
referenced by:
::= 'ex' '' Digit
referenced by:
referenced by:
::= regular_expression '/[a-z_]+/'
referenced by:
referenced by:
::= PythonDelegate
referenced by:
referenced by:
referenced by:
::= 'loop' SW RangeOrLoopBody
referenced by:
::= 'range' SW RangeOrLoopBody
referenced by:
referenced by:
referenced by:
::= Variable ''
referenced by:
referenced by:
::= '[' '!'?
referenced by:
::= '!'? ']'
referenced by:
referenced by:
referenced by:
| Entity
referenced by:
::= 'return'
| 'ret'
referenced by:
::= 'undefined'
| 'undef'
referenced by:
::= IdStartsWithCap ( '.' IdStartsWithCap )*
referenced by:
referenced by:
referenced by:
::= '.' '*'
| Alias
referenced by:
referenced by:
::= regular_expression '/[A-Z][a-z0-9A-Z_]*/'
referenced by:
::= regular_expression '/[a-z][a-z0-9A-Z_]*/'
referenced by:
referenced by:
| Comment
referenced by:
Comment ::= regular_expression '/\/\/[^\n]*/'
referenced by:
::= regular_expression '/\/\*((?:.|\n)*?)\*\//'
referenced by:
IW ::= regular_expression '/(\r\n\t]+/'
referenced by:
XId ::= '@' 'ext' IdStartsWithCap
referenced by:
referenced by:
Digit ::= regular_expression '/\d+/'
referenced by:
referenced by:
referenced by:
referenced by:
referenced by:
referenced by:
::= regular_expression '/[a-z]{3}/'
referenced by:
referenced by:
referenced by:
::= Variable
referenced by:
::= regular_expression '/\"[^\"]*\"/'
referenced by:
::= 'localization'
| 'loc'
referenced by:
extDigit ::= regular_expression '/\d+/'
referenced by:
|