1.1 --- a/src/Tools/isac/BaseDefinitions/thy-write.sml	Wed Aug 03 18:17:27 2022 +0200
     1.2 +++ b/src/Tools/isac/BaseDefinitions/thy-write.sml	Thu Aug 04 12:48:37 2022 +0200
     1.3 @@ -12,7 +12,7 @@
     1.4    type authors
     1.5    datatype thydata
     1.6      = Hcal of {calc: Rule_Def.calc, coursedesign: authors, guh: Check_Unique.id, mathauthors: authors}
     1.7 -    | Hord of {coursedesign: authors, guh: Check_Unique.id, mathauthors: authors, ord: Rule_Def.rew_ord_}
     1.8 +    | Hord of {coursedesign: authors, guh: Check_Unique.id, mathauthors: authors, ord: Rewrite_Ord.function}
     1.9      | Hrls of {coursedesign: authors, guh: Check_Unique.id, mathauthors: authors, thy_rls: ThyC.id * Rule_Set.T}
    1.10      | Hthm of {coursedesign: authors, fillpats: Error_Pattern_Def.fill_in list, guh: Check_Unique.id, mathauthors: authors, thm: thm}
    1.11      | Html of {coursedesign: authors, guh: Check_Unique.id, html: string, mathauthors: authors}