rahmenlose Ansicht.out DruckansichtUnknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
File "./output/ErrorInCanonicalStructures.v", line 5, characters 0-29:
The command has indeed failed with message:
Could not declare a canonical structure Foo.
Expected an instance of a record or structure.
File "./output/ErrorInCanonicalStructures.v", line 7, characters 0-29:
The command has indeed failed with message:
Could not declare a canonical structure bar.
Expected an instance of a record or structure.
[ Verzeichnis aufwärts0.60unsichere Verbindung
]