Glossary

a | b | c | d | e | f | g | h | i | l | m | n | o | p | r | s | t | w


	a
	`abstract_fun`
	`abstraction`
	`action constructor`
	`adv`
	`and or ip`
	`asymmetric encryption`
	`axiom`

	b
	`bi-system`
	`bi-term`
	`bool`
	`built-in`

	c
	`clear switch`
	`composite`
	`const`
	`cryptographic function`
	`custom types`

	d
	`diff-term`

	e
	`equivalence atom`
	`expansion item`

	f
	`finite`
	`fixed`

	g
	`glob`
	`global formula`
	`global lemma`
	`group declaration`

	h
	`happens`
	`hash function`

	i
	`index`

	l
	`large`
	`lemmas`
	`local formula`
	`local lemma`
	`logical_var`

	m
	`macro`
	`message`
	`multi-system`
	`multi-term`

	n
	`name_fixed_length`
	`namelength axiom`
	`naming ip`

	o
	`occurrence formula`
	`option`

	p
	`pair`
	`pattern`
	`polymorphism`
	`prime`
	`projection`

	r
	`reachability atom`
	`rewrite ip item`
	`rewrite item`

	s
	`signature scheme`
	`simplification item`
	`single system`
	`symmetric encryption`
	`system expression`
	`system_tag`

	t
	`tag`
	`term`
	`timestamp`
	`type tag`

	w
	`well-founded`