diff -r 5d8a9900cabc -r bafb24c150c1 src/CCL/Type.thy
--- a/src/CCL/Type.thy	Wed May 19 11:41:58 2004 +0200
+++ b/src/CCL/Type.thy	Fri May 21 21:14:18 2004 +0200
@@ -27,6 +27,7 @@
 
   SPLIT         :: "[i, [i, i] => i set] => i set"
 
+syntax
   "@Pi"         :: "[idt, i set, i set] => i set"    ("(3PROD _:_./ _)"
                                 [0,0,60] 60)