Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Firefox/dom/webidl/   (Firefox Browser Version 153.0.1©)  Datei vom 27.6.2026 mit Größe 2 kB image not shown  

Quelle  bug_8544.v   Sprache: unbekannt

 
Require Import ssreflect.
Goal True \/ True -> False.
Proof.
(* the following should fail: 2 subgoals, but only one intro pattern *)
Fail case => [a].
Abort.

Messung V0.5 in Prozent
C=96 H=99 G=97

[zur Elbe Produktseite wechseln0.12QuellennavigatorsAnalyse erneut starten2026-06-04]