Type antiquotations do not use the bracket syntax by default any longer.

--- a/src/Pure/Syntax/type_ext.ML	Tue Jul 01 10:50:26 2003 +0200
+++ b/src/Pure/Syntax/type_ext.ML	Wed Jul 02 16:57:57 2003 +0200
@@ -136,7 +136,7 @@
 fun no_type_brackets () =
   Library.find_first (equal type_bracketsN orf equal no_type_bracketsN)
                      (! print_mode)
-  = Some no_type_bracketsN;
+  <> Some type_bracketsN;
 
 
 (* parse ast translations *)