src/Pure/ROOT.ML
changeset 30834 1640e0625301
parent 30639 fe40d740d7c1
child 31326 deddd77112b7
     1.1 --- a/src/Pure/ROOT.ML	Tue Mar 31 15:57:10 2009 -0700
     1.2 +++ b/src/Pure/ROOT.ML	Wed Apr 01 11:53:05 2009 +0200
     1.3 @@ -1,7 +1,4 @@
     1.4 -(*  Title:      Pure/ROOT.ML
     1.5 -
     1.6 -Pure Isabelle.
     1.7 -*)
     1.8 +(* Pure Isabelle *)
     1.9  
    1.10  structure Distribution =     (*filled-in by makedist*)
    1.11  struct