Section S. Hypothesis HypFalse : False. Lemma false_in_section : False. Proof using.
abstract (apply HypFalse). (* in bad versions, both Qed and Fail Qed succeed
(ie Qed fails when wrapped in Fail) *) Qed.
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 und die Messung sind noch experimentell.
