(** Check that internal exceptions are correctly caught in the monad *) Goalforall (a b : T) (Hab : R a b), True. Proof. intros. try (case: Hab). Abort.
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.
