clarified transitive_closure: proper cumulation of transitive steps, which is essential for Warshall-style algorithms;
This directory contains some administrative tools for clones of the
Isabelle repository. They do not appear in proper distributions.