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 *}