1.1 --- a/src/Tools/isac/calcelems.sml	Thu Mar 15 14:50:29 2018 +0100
     1.2 +++ b/src/Tools/isac/calcelems.sml	Thu Mar 15 15:26:06 2018 +0100
     1.3 @@ -121,7 +121,7 @@
     1.4      val term_to_string': Proof.context -> term -> string
     1.5      val thy2ctxt': string -> Proof.context
     1.6      type rrlsstate = term * term * rule list list * (rule * (term * term list)) list
     1.7 -    type loc_ = lrd list
     1.8 +    type loc_ (*= lrd list*)
     1.9      val loc_2str: loc_ -> string
    1.10      val e_spec: spec
    1.11      val env2str: subst -> string