--- a/doc-src/Codegen/Thy/ROOT.ML Wed May 06 16:01:06 2009 +0200
+++ b/doc-src/Codegen/Thy/ROOT.ML Wed May 06 16:01:07 2009 +0200
@@ -4,6 +4,6 @@
use_thy "Introduction";
use_thy "Program";
-use_thy "Adaption";
+use_thy "Adaptation";
use_thy "Further";
use_thy "ML";