diff -r 2a05c1f7c08c -r 1aeafba76f21 src/HOL/IMP/ROOT.ML
--- a/src/HOL/IMP/ROOT.ML	Wed Jun 01 21:50:49 2011 +0200
+++ b/src/HOL/IMP/ROOT.ML	Wed Jun 01 22:42:37 2011 +0200
@@ -2,6 +2,7 @@
 ["BExp",
  "ASM",
  "Small_Step",
+ "Denotation",
  "Compiler"(*,
  "Poly_Types",
  "Sec_Typing",