Spracherkennung für: .out vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
Ltac t1 a b := a ; last b
Ltac t2 := do !idtac
Ltac t3 := idtac => True
[Dauer der Verarbeitung: 0.10 Sekunden, vorverarbeitet 2026-04-26]
