Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Eigene Datei ansehen e.g. http://myserver.net/mysource.java Modellierung Sprachen Algebra Logik Hardware Denken Kreativität

Zusammenhänge Gesellschaft Wirtschaft Branche Firma

Benutzer


Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Firefox/dom/webidl/ (NIST Cobol Test-Suite ^©) Datei vom 27.6.2026 mit Größe 2 kB

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.