Appendix A

予約語一覧表

and
as
begin
canceled
cluster
compatibility
constructors
def
definitions
environ
existence
func
hereby
if
is
means
notation
or
per
provided
redefine
schemes
struct
synonym
the
theorems
uniqueness

antonym
assume
being
case
clusters
consider
contradiction
deffunc
defpred
equals
for
given
requirements
iff
it
mode
now
otherwise
pred
qua
reserve
set
such
take
then
thesis
vocabulary

attr
be
by
cases
coherence
consistency
correctness
definition
end
ex
from
hence
holds
implies
let
not
of
over
proof
reconsider
scheme
st
symmetry
that
theorem
thus
where