# HG changeset patch
# User wenzelm
# Date 893843141 -7200
# Node ID cb48549230cecdab16334cee9d1f3bfb1dc7e1f8
# Parent  c66a428468874048b224d307e49f05b93a1d89c3
nontermials;

diff -r c66a42846887 -r cb48549230ce src/HOL/Prod.thy
--- 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'(_,/ _'))")