*** empty log message ***
authornipkow
Mon May 13 15:39:56 2002 +0200 (2002-05-13)
changeset 13146f43153b63361
parent 13145 59bc43b51aa2
child 13147 491a48cf6023
*** empty log message ***
src/HOL/List.thy
     1.1 --- a/src/HOL/List.thy	Mon May 13 15:27:28 2002 +0200
     1.2 +++ b/src/HOL/List.thy	Mon May 13 15:39:56 2002 +0200
     1.3 @@ -41,8 +41,7 @@
     1.4  "distinct":: "'a list => bool"
     1.5  replicate :: "nat => 'a => 'a list"
     1.6  
     1.7 -nonterminals
     1.8 -lupdbindslupdbind
     1.9 +nonterminals lupdbinds lupdbind
    1.10  
    1.11  syntax
    1.12  -- {* list Enumeration *}