[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
'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
-llist-delfunction, list × elem → list
-plist-delfunction, list × nat → list
.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
MAXCUTVerifyThis1procedure, list : : natlist
[]list-dataconstant, list
[]natlistconstant, natlist
\list-setfunction, list × list → list
]list-getputpartial function, list × nat × elem → list
]list-getputpartial 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
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
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
cutVerifyThis1variable, natlist
cutseqVerifyThis1predicate, natlist × list
cutseqVerifyThis1predicate, natlist × list × bool
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
firstnlist-delpartial function, nat × list → list
fromelist-delfunction, list × elem → list
headlist-datavariable, elem
in-rangeVerifyThis1predicate, natlist × nat × nat
incVerifyThis1variable, bool
ins≤olistfunction, elem × list → list
lastnlist-delpartial function, nat × list → list
listlist-datasort,
mlist-lastvariable, nat
mlist-delvariable, nat
mlist-setvariable, nat
mVerifyThis1variable, nat
mlist-getputvariable, nat
mergeolistfunction, list × list → list
mklistlist-lastfunction, elem × nat → list
mklistnatlistfunction, nat × nat → natlist
nlist-datavariable, nat
nlist-lastvariable, nat
nlist-delvariable, nat
nlist-setvariable, nat
nlist-permvariable, nat
nVerifyThis1variable, nat
nlist-getputvariable, nat
natnat-basicsort,
natlistnatlistsort,
nsVerifyThis1variable, natlist
ordered<olistpredicate, list
ordered≤olistpredicate, list
permlist-permpredicate, list × list
poslist-delfunction, elem × list → nat
restnlist-delpartial function, nat × list → list
revlist-lastfunction, list → list
revnatlistfunction, natlist → natlist
rmduplist-dupfunction, list → list
rmdupnatlistfunction, natlist → natlist
sublistlist-delpartial function, nat × nat × list → list
szVerifyThis1variable, nat
taillist-datavariable, list
xlist-datavariable, list
xlistvariable, list
xlist-dupvariable, list
xlist-lastvariable, list
xlist-delvariable, list
xlist-setvariable, list
xlist-permvariable, list
xolistvariable, list
xVerifyThis1variable, list
xlist-getputvariable, list
ylist-datavariable, list
ylistvariable, list
ylist-dupvariable, list
ylist-lastvariable, list
ylist-delvariable, list
ylist-setvariable, list
ylist-permvariable, list
yolistvariable, 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
≤natpredicate, nat × nat
≥natpredicate, nat × nat
⊆list-setpredicate, list × list
⊆mlist-permpredicate, list × list
⊑list-lastpredicate, list × list
⊑natlistpredicate, natlist × natlist
⊒list-lastpredicate, list × list
⊒natlistpredicate, natlist × natlist