Untersuchungsergebnis.out Download desUnknown {[0] [0] [0]}zum Wurzelverzeichnis wechseln
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)
[ zur Elbe Produktseite wechseln0.115Quellennavigators
]
