rahmenlose Ansicht.out DruckansichtUnknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
File "./output/bug_19861.v", line 8, characters 2-6:
Error:
The following section variable is used but not declared:
HypFalse.
You can either update your proof to not depend on HypFalse, or you can update your Proof line from
Proof using
to
Proof using HypFalse
coqc exited with code 1
[ Verzeichnis aufwärts0.60unsichere Verbindung
]
