Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Product_Type.thy
changeset 41229 d797baa3d57c
parent 40968 a6fcd305f7dc
child 41372 551eb49a6e91 
--- a/src/HOL/Product_Type.thy	Fri Dec 17 17:08:56 2010 +0100
+++ b/src/HOL/Product_Type.thy	Fri Dec 17 17:43:54 2010 +0100
@@ -173,8 +173,7 @@
   abstractions.
 *}
 
-nonterminals
-  tuple_args patterns
+nonterminal tuple_args and patterns
 
 syntax
   "_tuple"      :: "'a => tuple_args => 'a * 'b"        ("(1'(_,/ _'))")
isabelle