1.1 --- a/src/Tools/isac/CalcElements/calcelems.sml	Thu Apr 09 17:16:48 2020 +0200
     1.2 +++ b/src/Tools/isac/CalcElements/calcelems.sml	Thu Apr 09 18:21:09 2020 +0200
     1.3 @@ -216,7 +216,7 @@
     1.4  | Hrls of {guh: guh, coursedesign: authors, mathauthors: authors, thy_rls: (ThyC.thyID * Rule_Set.T)}
     1.5  | Hcal of {guh: guh, coursedesign: authors, mathauthors: authors, calc: Rule_Def.calc}
     1.6  | Hord of {guh: guh, coursedesign: authors, mathauthors: authors,
     1.7 -    ord: (Rule.subst -> (term * term) -> bool)};
     1.8 +    ord: (UnparseC.subst -> (term * term) -> bool)};
     1.9  fun the2str (Html {guh, ...}) = guh
    1.10    | the2str (Hthm {guh, ...}) = guh
    1.11    | the2str (Hrls {guh, ...}) = guh