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

Back to main index. View the specification. View theorem base summary, View theorem base listing, the used properties by spec, the dependency list, the symbol table,

Signature symbols in this unit

Symbol	Specification	Kind	Type
# .	string-new	f	string → nat
. '	string-new	f	char → string
. + .	nat-basic2	f	nat × nat → nat
. + .	string-new	f	char × char → string
. + .	string-new	f	char × string → string
. + .	string-new	f	string × char → string
. + .	string-new	f	string × string → string
. ++ .	string-new	f	string × char → string
. +1	nat-basic1	f	nat → nat
. - .	nat	f	nat × nat → nat
. -1	nat-basic1	f	nat → nat
. -1l .	string-new	f	string × nat → string
. -1l .	string-new	f	string × char → string
. -l .	string-new	f	string × char → string
. .butlast	string-new	f	string → string
. .char1	string-new	f	string → char
. .last	string-new	f	string → char
. .rstring	string-new	f	string → string
. < .	nat-basic1	p	nat × nat
. > .	nat	p	nat × nat
. [ . ]	string-new	f	string × nat → char
. [ . ]	string-new	f	string × nat × char → string
. ∈ .	string-new	p	char × string
. ≤ .	nat	p	nat × nat
. ≥ .	nat	p	nat × nat
. ⊑ .	string-new	p	string × string
. ⊒ .	string-new	p	string × string
⊏	string-new	p	string × string
butlastn	string-new	f	nat × string → string
char	char	s
char	char	v	char
char0	char	v	char
char1	char	v	char
char2	char	v	char
disj	string-new	p	string × string
dups	string-new	p	string
fillfirst	string-new	f	nat × char × string → string
firstn	string-new	f	nat × string → string
frome	string-new	f	string × char → string
lastn	string-new	f	nat × string → string
m	nat-basic1	v	nat
mklist	string-new	f	char × nat → string
n	nat-basic1	v	nat
n0	nat-basic1	v	nat
n1	nat-basic1	v	nat
nat	nat-basic1	s
pos	string-new	f	char × string → nat
restn	string-new	f	nat × string → string
rev	string-new	f	string → string
rmdup	string-new	f	string → string
str	string-new	v	string
str0	string-new	v	string
str1	string-new	v	string
str10	string-new	v	string
str2	string-new	v	string
str3	string-new	v	string
str4	string-new	v	string
str5	string-new	v	string
str6	string-new	v	string
str7	string-new	v	string
str8	string-new	v	string
str9	string-new	v	string
string	string-new	s
sublist	string-new	f	nat × nat × string → string