Go up to
Top
Go forward to
Overview
The Datatype Set
Predicates as Sets
Functions as Sets
Sequences and Matrices
Author:
Wolfgang Schreiner
Last Modification: October 14, 1999