| entwicklung |
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: Sprache: Unknown
|
(* This used to succeed by producing an ill-typed term in v8.2 *)
Fail Lemma u: forall A : Prop, (exist _ A A) = (exist _ A A). [ Seitenstruktur0.1Drucken etwas mehr zur Ethik ] |