simplified: uniqueness check happens in export_consumer;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEbe49c660ebbf: more markup, e.g. to locate defining theory node in formal document output;
- Branches
- Unknown
- Tags