Re: [isabelle] found it



On Sat, 25 Feb 2006, Sean McLaughlin wrote:

> I think PolyML.commit() does the job I want.

That's just the low level interface of Poly/ML.  Isabelle provides its own 
abstraction.  See the Isabelle system manual for further details.


	Makarius





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.