1.1 --- a/src/Pure/General/ROOT.ML	Wed Aug 27 11:48:54 2008 +0200
     1.2 +++ b/src/Pure/General/ROOT.ML	Wed Aug 27 11:49:14 2008 +0200
     1.3 @@ -8,6 +8,7 @@
     1.4  use "alist.ML";
     1.5  use "table.ML";
     1.6  use "output.ML";
     1.7 +use "properties.ML";
     1.8  use "markup.ML";
     1.9  use "scan.ML";
    1.10  use "source.ML";