Automatic generation produced by ISE Eiffel
Clusters base base_pre.base.elks base_pre.base.ise base_pre.base.ise.debug base_pre.base.ise.debug_implementation espec espec.espec mathmodels mathmodels.mathmodels model root tests -- Generated by ISE Eiffel --
For more details: www.eiffel.com