eliminate duplicate calls when moving to closed form -- graph decomposition chokes on duplicates
Prover IDE support
==================
This is some basic support for PIDE Scala programming, independently
of the main Isabelle repository.
Makarius
17-Jan-2012