I'm not sure I can suggest very much. The most likely cause is a change
in Isabelle but it could be something to do with Poly/ML.
PolyML.objSize PolyML.rootFunction will tell you the size of the data
that is reachable from the root. It won't include any data that is only
reachable from the s
What is the best way to measure memory consumption in polyml?
Background: we're running out of memory after porting some of our tools and
proofs to Isabelle-2011. It seems that the main problem is that we are now
producing more objects that can later be shared, i.e. we think we were able to
get
