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