Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Go to: 
Cluster
	mathmodels.mathmodels	(diagram)

indexing
	description: ""

Classes
	FUN [G -> attached ANY, H -> attached ANY]
	PAIR [G -> attached ANY, H -> attached ANY]
	SEQ [G -> attached ANY]
	SET [G -> attached ANY]


Classes
Clusters
Cluster hierarchy
Go to: 

-- Generated by ISE Eiffel --
For more details: www.eiffel.com