copied changes for dol-parsing into new branch
copied changes for dol-parsing into new branch
only allow full IRIs in prefix maps
added keywords 'translation' and 'along' and made comma optional
shared Network after combine and as lib-item
keyword translation is now parsed by parseMapping
added entailment
equiS is different from equiv
adjusted equiv-defn
refactored ModuleRelDefn and removed many type synonyms
addational keywords needed for basic specs in module types
also add to keyword for subst-defn
added optional assuming AlignSem
adjusted relation-ref incl. default relation
added QueryRelatedDefn
added parsing of QueryRelatedDefn
result is already a keyword (and illegal as library name)
keywords must be excluded as logic names
check %complete annotation properly
only parse GroupOMS and make excluding optional