|
Section S.
Variable A:Prop.
Variable W:A.
Remark T: A -> A.
intro Z.
rename W into Z_.
rename Z into W.
rename Z_ into Z.
exact Z.
Qed.
(* bug :
Error:
Unbound reference: In environment
A : Prop
W : A
Z : A
The reference 2 is free
*)
End S.
¤ Dauer der Verarbeitung: 0.16 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
