nontermials;

--- a/src/HOL/Prod.thy	Wed Apr 29 11:45:16 1998 +0200
+++ b/src/HOL/Prod.thy	Wed Apr 29 11:45:41 1998 +0200
@@ -41,7 +41,8 @@
 
 (* patterns -- extends pre-defined type "pttrn" used in abstractions *)
 
-types patterns
+nonterminals
+  patterns
 
 syntax
   "@Tuple"      :: "['a, args] => 'a * 'b"       ("(1'(_,/ _'))")