|
(* 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).
¤ Dauer der Verarbeitung: 0.1 Sekunden
(vorverarbeitet)
¤
|
schauen Sie vor die Tür
Fenster
Die Firma ist wie angegeben erreichbar.
Die farbliche Syntaxdarstellung ist noch experimentell.
|
