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/Tools/coherent.ML
changeset 32759 1476fe841023
parent 32734 06c13b2e562e
child 32740 9dd0a2f83429 
--- a/src/Tools/coherent.ML	Tue Sep 29 14:25:42 2009 +1000
+++ b/src/Tools/coherent.ML	Tue Sep 29 14:26:33 2009 +1000
@@ -26,7 +26,7 @@
   val setup: theory -> theory
 end;
 
-functor CoherentFun(Data: COHERENT_DATA) : COHERENT =
+functor Coherent(Data: COHERENT_DATA) : COHERENT =
 struct
 
 (** misc tools **)
isabelle