src/HOL/Import/import.ML
2009-07-06 wenzelm 2009-07-06 structure Thm: less pervasive names;
2009-06-19 haftmann 2009-06-19 discontinued ancient tradition to suffix certain ML module names with "_package"