author | nipkow |
Tue, 16 Aug 1994 09:57:51 +0200 | |
changeset 104 | a0e6613dfbee |
parent 103 | c57ab3ce997e |
child 105 | 4cc9149dc675 |
Datatype.ML | file | annotate | diff | comparison | revisions |
--- a/Datatype.ML Mon Aug 15 15:20:34 1994 +0200 +++ b/Datatype.ML Tue Aug 16 09:57:51 1994 +0200 @@ -94,7 +94,7 @@ in ("|> " ^ tname^"_add_primrec " ^ mk_list (map snd axms), cat_lines(map prove axms)) end - in ident -- ident -- repeat1 (ident -- string) >> mkstrings end + in ident -- long_id -- repeat1 (ident -- string) >> mkstrings end end;