src/Pure/Tools/class_package.ML
2005-08-28 haftmann 2005-08-28 (allocating new branch)