Go backward to
Example
Go up to
Top
Go forward to
Operational Interpretation
Logic Evaluator
set
(
x
in
S
:
A
,
T
) = {
T
_
x
:
x
in
S
/\
A
}.
Author:
Wolfgang Schreiner
Last Modification: October 14, 1999