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.


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