Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
made SML/NJ happy;
authorwenzelm
Tue, 20 Oct 1998 17:52:52 +0200
changeset 5702 77ad51744aee
parent 5701 e57980ec351b
child 5703 53b00681c63b
made SML/NJ happy;
src/Pure/Syntax/syntax.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Syntax/syntax.ML	Tue Oct 20 17:27:00 1998 +0200
+++ b/src/Pure/Syntax/syntax.ML	Tue Oct 20 17:52:52 1998 +0200
@@ -93,7 +93,7 @@
 fun extend_tr'tab tab trfuns =
   generic_extend eq_trfuns Symtab.dest_multi Symtab.make_multi tab (map mk_trfun trfuns);
 
-val merge_tr'tabs = generic_merge eq_trfuns Symtab.dest_multi Symtab.make_multi;
+fun merge_tr'tabs tabs = generic_merge eq_trfuns Symtab.dest_multi Symtab.make_multi tabs;
isabelle