|
Lemma a : True.
Proof.
auto.
Qed.
Variant t :=
| A | Add | G | Goal | L | Lemma | P | Proof .
Definition d x :=
match x with
| A => 0
| Add => 1
| G => 2
| Goal => 3
| L => 4
| Lemma => 5
| P => 6
| Proof => 7
end.
¤ Dauer der Verarbeitung: 0.2 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.
|
