1.1 --- a/doc-src/Codegen/Thy/ROOT.ML	Wed May 06 16:01:06 2009 +0200
     1.2 +++ b/doc-src/Codegen/Thy/ROOT.ML	Wed May 06 16:01:07 2009 +0200
     1.3 @@ -4,6 +4,6 @@
     1.4  
     1.5  use_thy "Introduction";
     1.6  use_thy "Program";
     1.7 -use_thy "Adaption";
     1.8 +use_thy "Adaptation";
     1.9  use_thy "Further";
    1.10  use_thy "ML";