Makarius, On Monday 06 Apr 2009 7:39 pm, Makarius wrote: > ... [ and extremely helpful reply ] ...
Many thanks for that. Yet again ProofPower will benefit from the Isabelle experience with using Poly/ML. Regards, Rob. _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
