(* Was causing a stack overflow before #11613 *) Declare Custom Entry bla. Notation"[ t ]" := (t) (at level 0, t custom bla at level 0). Notation"] t [" := (t) (in custom bla at level 0, t custom bla at level 0). Notation"t" := (t) (in custom bla at level 0, t constr at level 9). Notation"0" := (0) (in custom bla at level 0). Checkfun x => [ ] x [ ].
¤ Dauer der Verarbeitung: 0.13 Sekunden
(vorverarbeitet)
¤
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.
