equal
deleted
inserted
replaced
39 remdups :: "'a list => 'a list" |
39 remdups :: "'a list => 'a list" |
40 null:: "'a list => bool" |
40 null:: "'a list => bool" |
41 "distinct":: "'a list => bool" |
41 "distinct":: "'a list => bool" |
42 replicate :: "nat => 'a => 'a list" |
42 replicate :: "nat => 'a => 'a list" |
43 |
43 |
44 nonterminals |
44 nonterminals lupdbinds lupdbind |
45 lupdbindslupdbind |
|
46 |
45 |
47 syntax |
46 syntax |
48 -- {* list Enumeration *} |
47 -- {* list Enumeration *} |
49 "@list" :: "args => 'a list"("[(_)]") |
48 "@list" :: "args => 'a list"("[(_)]") |
50 |
49 |