excursion: commit_exit internally -- checkpoints are fully persistent now;
excursion: do not force intermediate result states yet -- great performance improvement;
@book{Birkhoff79,
author = {Garret Birkhoff},
title = {Lattice Theory},
publisher = {American Mathematical Society},
year=1979
}
@book{Nipkow-et-al:2002:tutorial,
author = {T. Nipkow and L. C. Paulson and M. Wenzel},
title = {{Isabelle/HOL} --- A Proof Assistant for Higher-Order Logic},
series = {LNCS},
volume = 2283,
year = 2002,
publisher = {Springer-Verlag}
}