# HG changeset patch
# User wenzelm
# Date 1086086186 -7200
# Node ID 252d9b36bf445272b9924518ee3e03e70d68a17a
# Parent  669a9a0e727929cb15ef15d598575b3af3ff7491
proper use of 'nonterminals';

diff -r 669a9a0e7279 -r 252d9b36bf44 src/HOLCF/Cprod3.thy
--- a/src/HOLCF/Cprod3.thy	Tue Jun 01 12:36:10 2004 +0200
+++ b/src/HOLCF/Cprod3.thy	Tue Jun 01 12:36:26 2004 +0200
@@ -48,7 +48,7 @@
 
 (* syntax for Let *)
 
-types
+nonterminals
   Cletbinds  Cletbind
 
 syntax