ex/Finite.ML
changeset 68 acad709cad5d
parent 58 1322cef1a4d8