[Imprint][Data Privacy Statement][E-Mail]

Back to the index. View project statistic. View project symbols. View KIV symbols to check that all symbols are available.

All project symbols

symbol specification entry
#list-datafunction, list → nat
#natlistfunction, natlist → nat
#oclist-permfunction, elem × list → nat
#ocnatlistfunction, nat × natlist → nat
'listfunction, elem → list
'natlistfunction, nat → natlist
+nat-basicfunction, nat × nat → nat
+list-datafunction, elem × list → list
+listfunction, list × elem → list
+listfunction, list × list → list
+natlistfunction, natlist × nat → natlist
+natlistfunction, natlist × natlist → natlist
+natlistfunction, nat × natlist → natlist
++list-dupfunction, list × elem → list
++natlistfunction, natlist × nat → natlist
+1nat-basicfunction, nat → nat
+2listfunction, elem × elem → list
+2natlistfunction, nat × nat → natlist
-natpartial function, nat × nat → nat
-1nat-basicpartial function, nat → nat
-1llist-delfunction, list × elem → list
-1lnatlistfunction, natlist × nat → natlist
-llist-delfunction, list × elem → list
-lnatlistfunction, natlist × nat → natlist
-plist-delfunction, list × nat → list
-pnatlistfunction, natlist × nat → natlist
.butlastlist-lastpartial function, list → list
.butlastnatlistpartial function, natlist → natlist
.headlist-datapartial function, list → elem
.headnatlistpartial function, natlist → nat
.lastlist-lastpartial function, list → elem
.lastnatlistpartial function, natlist → nat
.taillist-datapartial function, list → list
.tailnatlistpartial function, natlist → natlist
<nat-basicpredicate, nat × nat
<list-datapredicate, list × list
<oelempredicate, elem × elem
<natlistpredicate, natlist × natlist
>natpredicate, nat × nat
LEFTNEIGHBORSVerifyThis2procedure, list : : natlist
[]list-dataconstant, list
[]natlistconstant, natlist
\list-setfunction, list × list → list
\natlistfunction, natlist × natlist → natlist
]natlistpartial function, natlist × nat × nat → natlist
]natlistpartial function, natlist × nat → nat
]list-getputpartial function, list × nat × elem → list
]list-getputpartial function, list × nat → elem
]!VerifyThis2partial function, list × nat → elem
aelemvariable, elem
alist-datavariable, elem
alistvariable, elem
alist-dupvariable, elem
alist-lastvariable, elem
alist-delvariable, elem
alist-setvariable, elem
alist-permvariable, elem
aoelemvariable, elem
aolistvariable, elem
aVerifyThis2variable, elem
alist-getputvariable, elem
belemvariable, elem
blistvariable, elem
blist-dupvariable, elem
blist-lastvariable, elem
blist-delvariable, elem
blist-setvariable, elem
blist-permvariable, elem
bolistvariable, elem
blist-getputvariable, elem
boundedVerifyThis2predicate, natlist × nat × nat
butlastnlist-lastpartial function, nat × list → list
butlastnnatlistpartial function, nat × natlist → natlist
celemvariable, elem
clistvariable, elem
clist-dupvariable, elem
clist-lastvariable, elem
clist-delvariable, elem
clist-setvariable, elem
clist-permvariable, elem
colistvariable, elem
clist-getputvariable, elem
disjlist-duppredicate, list × list
disjnatlistpredicate, natlist × natlist
dupslist-duppredicate, list
dupsnatlistpredicate, natlist
elemelemsort,
fillfirstlist-lastfunction, nat × elem × list → list
fillfirstnatlistfunction, nat × nat × natlist → natlist
filterlist-setfunction, list × list → list
filternatlistfunction, natlist × natlist → natlist
first-lowerVerifyThis2function, natlist × list × elem → nat
firstnlist-delpartial function, nat × list → list
firstnnatlistpartial function, nat × natlist → natlist
fromelist-delfunction, list × elem → list
fromenatlistfunction, natlist × nat → natlist
headlist-datavariable, elem
ins≤olistfunction, elem × list → list
ins≤natlistfunction, nat × natlist → natlist
lastnlist-delpartial function, nat × list → list
lastnnatlistpartial function, nat × natlist → natlist
leftVerifyThis2variable, natlist
leftneighborVerifyThis2partial function, list × nat × elem → nat
leftneighborVerifyThis2partial function, list × nat → nat
leftneighborsVerifyThis2partial function, list × nat → natlist
leftneighborsVerifyThis2function, list → natlist
listlist-datasort,
lneighborsVerifyThis2variable, natlist
mlist-lastvariable, nat
mlist-delvariable, nat
mlist-setvariable, nat
mlist-getputvariable, nat
mergeolistfunction, list × list → list
mergenatlistfunction, natlist × natlist → natlist
mklistlist-lastfunction, elem × nat → list
mklistnatlistfunction, nat × nat → natlist
nlist-datavariable, nat
nlist-lastvariable, nat
nlist-delvariable, nat
nlist-setvariable, nat
nlist-permvariable, nat
nlist-getputvariable, nat
natnat-basicsort,
natlistnatlistsort,
ordered<olistpredicate, list
ordered<natlistpredicate, natlist
ordered>VerifyThis2predicate, natlist
ordered≤olistpredicate, list
ordered≤natlistpredicate, natlist
permlist-permpredicate, list × list
permnatlistpredicate, natlist × natlist
poslist-delfunction, elem × list → nat
posnatlistfunction, nat × natlist → nat
restnlist-delpartial function, nat × list → list
restnnatlistpartial function, nat × natlist → natlist
revlist-lastfunction, list → list
revnatlistfunction, natlist → natlist
rmduplist-dupfunction, list → list
rmdupnatlistfunction, natlist → natlist
stackVerifyThis2variable, natlist
sublistlist-delpartial function, nat × nat × list → list
sublistnatlistpartial function, nat × nat × natlist → natlist
taillist-datavariable, list
valid-stackVerifyThis2predicate, natlist × list
xlist-datavariable, list
xlistvariable, list
xlist-dupvariable, list
xlist-lastvariable, list
xlist-delvariable, list
xlist-setvariable, list
xlist-permvariable, list
xolistvariable, list
xVerifyThis2variable, list
xlist-getputvariable, list
xposVerifyThis2variable, nat
ylist-datavariable, list
ylistvariable, list
ylist-dupvariable, list
ylist-lastvariable, list
ylist-delvariable, list
ylist-setvariable, list
ylist-permvariable, list
yolistvariable, list
yVerifyThis2variable, list
ylist-getputvariable, list
zlist-datavariable, list
zlistvariable, list
zlist-dupvariable, list
zlist-lastvariable, list
zlist-delvariable, list
zlist-setvariable, list
zlist-permvariable, list
zolistvariable, list
zlist-getputvariable, list
∈listpredicate, elem × list
∈natlistpredicate, nat × natlist
∪list-setfunction, list × list → list
∪natlistfunction, natlist × natlist → natlist
≤natpredicate, nat × nat
≥natpredicate, nat × nat
⊆list-setpredicate, list × list
⊆natlistpredicate, natlist × natlist
⊆mlist-permpredicate, list × list
⊆mnatlistpredicate, natlist × natlist
⊑list-lastpredicate, list × list
⊑natlistpredicate, natlist × natlist
⊒list-lastpredicate, list × list
⊒natlistpredicate, natlist × natlist