Notation "b1 && b2" := (if b1 then b2 else false) (default interpretation) (from locate)
Notation "x && y" := (andb x y) (* x in scope _bool_scope, y in scope _bool_scope *) : bool_scope (from Corelib.Init.Datatypes)
Notation "'U' t" := (S t) (* t in scope _nat_scope *) (default interpretation) (from locate.M)
Notation "'_' t" := (S t) (* t in scope _nat_scope *) (default interpretation) (from locate.M)
Notation "( x , y , .. , z )" := (pair .. (pair x y) .. z) : core_scope (default interpretation) (from Corelib.Init.Datatypes)
Notation "( x , y , .. , z )" := (pair .. (pair x y) .. z) : core_scope (default interpretation) (from Corelib.Init.Datatypes)
Notation "( x , y , .. , z )" := (pair .. (pair x y) .. z) : core_scope (default interpretation) (from Corelib.Init.Datatypes)
Notation "( x , y , .. , z )" := (pair .. (pair x y) .. z) : core_scope (default interpretation) (from Corelib.Init.Datatypes)
[ Dauer der Verarbeitung: 0.15 Sekunden
(vorverarbeitet)
]
