src/Tools/coherent.ML
changeset 32734 06c13b2e562e
parent 32199 82c4c570310a
child 32740 9dd0a2f83429
     1.1 --- a/src/Tools/coherent.ML	Mon Sep 28 22:47:34 2009 +0200
     1.2 +++ b/src/Tools/coherent.ML	Mon Sep 28 23:13:37 2009 +0200
     1.3 @@ -26,7 +26,7 @@
     1.4    val setup: theory -> theory
     1.5  end;
     1.6  
     1.7 -functor CoherentFun(Data: COHERENT_DATA) : COHERENT =
     1.8 +functor Coherent(Data: COHERENT_DATA) : COHERENT =
     1.9  struct
    1.10  
    1.11  (** misc tools **)