1.1 --- a/src/Tools/isac/BaseDefinitions/thy-html.sml	Fri Apr 24 08:51:05 2020 +0200
     1.2 +++ b/src/Tools/isac/BaseDefinitions/thy-html.sml	Fri Apr 24 09:01:48 2020 +0200
     1.3 @@ -59,7 +59,7 @@
     1.4  | Hrls of {guh: Check_Unique.id, coursedesign: authors, mathauthors: authors, thy_rls: (ThyC.id * Rule_Set.T)}
     1.5  | Hcal of {guh: Check_Unique.id, coursedesign: authors, mathauthors: authors, calc: Rule_Def.calc}
     1.6  | Hord of {guh: Check_Unique.id, coursedesign: authors, mathauthors: authors,
     1.7 -    ord: (UnparseC.subst -> (term * term) -> bool)};
     1.8 +    ord: (subst -> (term * term) -> bool)};
     1.9  fun the2str (Html {guh, ...}) = guh
    1.10    | the2str (Hthm {guh, ...}) = guh
    1.11    | the2str (Hrls {guh, ...}) = guh