Spracherkennung für: .out vermutete Sprache: Text {Text[200] Haskell[242] Fortran[479]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
Ltac f H := split; [ a H | e H ]
Ltac g := match goal with
| |- context [ if ?X then _ else _ ] => case X
end
The command has indeed failed with message:
H is already used.
The command has indeed failed with message:
H is already used.
[ Dauer der Verarbeitung: 0.88 Sekunden
]
