src/Pure/Thy/thm_deps.ML
changeset 33391 91b9da2a7b44
parent 33170 dd6d8d1f70d2
child 33642 d983509dbf31
     1.1 --- a/src/Pure/Thy/thm_deps.ML	Mon Nov 02 21:03:41 2009 +0100
     1.2 +++ b/src/Pure/Thy/thm_deps.ML	Mon Nov 02 21:05:47 2009 +0100
     1.3 @@ -10,7 +10,7 @@
     1.4    val unused_thms: theory list * theory list -> (string * thm) list
     1.5  end;
     1.6  
     1.7 -structure ThmDeps: THM_DEPS =
     1.8 +structure Thm_Deps: THM_DEPS =
     1.9  struct
    1.10  
    1.11  (* thm_deps *)