
diff -r 1309a6a0a29f -r e3f04fdd994d doc-src/IsarRef/Thy/syntax.thy
--- a/doc-src/IsarRef/Thy/syntax.thy	Sun May 18 17:03:16 2008 +0200
+++ b/doc-src/IsarRef/Thy/syntax.thy	Sun May 18 17:03:20 2008 +0200
@@ -1,7 +1,7 @@
 (* $Id$ *)
 
 theory "syntax"
-imports CPure
+imports Pure
 begin
 
 chapter {* Syntax primitives *}




