[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
#	array	function, array → nat
+	nat-basic2	function, nat × nat → nat
+1	nat-basic1	function, nat → nat
-	nat	function, nat × nat → nat
-1	nat-basic1	function, nat → nat
<	nat-basic1	predicate, nat × nat
>	nat	predicate, nat × nat
FINDDUP#	finddup	procedure, array : nat × nat
FINDDUPSND#	finddup	procedure, array × elem : nat × nat
]	array	function, array × nat → elem
]	array	function, array × nat × elem → array
a	elem	variable, elem
ar	array	variable, array
ar0	array	variable, array
ar1	array	variable, array
ar2	array	variable, array
array	array	sort,
b	elem	variable, elem
bv	finddup	variable, bool
c	elem	variable, elem
elem	elem	sort,
m	nat-basic2	variable, nat
m0	finddup	variable, nat
mkarray	array	function, nat → array
n	nat-basic1	variable, nat
n0	nat-basic1	variable, nat
n1	nat-basic1	variable, nat
nat	nat-basic1	sort,
pos	array	function, array × elem → nat
≤	nat	predicate, nat × nat
≥	nat	predicate, nat × nat