src/HOL/Prod.thy
changeset 4875 cb48549230ce
parent 4570 c04027ccc86e
child 6340 7d5cbd5819a0
     1.1 --- a/src/HOL/Prod.thy	Wed Apr 29 11:45:16 1998 +0200
     1.2 +++ b/src/HOL/Prod.thy	Wed Apr 29 11:45:41 1998 +0200
     1.3 @@ -41,7 +41,8 @@
     1.4  
     1.5  (* patterns -- extends pre-defined type "pttrn" used in abstractions *)
     1.6  
     1.7 -types patterns
     1.8 +nonterminals
     1.9 +  patterns
    1.10  
    1.11  syntax
    1.12    "@Tuple"      :: "['a, args] => 'a * 'b"       ("(1'(_,/ _'))")