rahmenlose Ansicht.out DruckansichtUnknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
File "./output/bug_8206.v", line 11, characters 0-28:
The command has indeed failed with message:
Signature components for field homework do not match: expected type
"forall a b : nat, bug_8206.M.add a b = bug_8206.M.add b a" but found type
"nat -> forall b : nat, bug_8206.M.add 0 b = bug_8206.M.add b 0".
[ Verzeichnis aufwärts0.64unsichere Verbindung
]
