1.1 --- a/test/Tools/isac/BridgeLibisabelle/datatypes.sml	Sat Apr 04 12:11:32 2020 +0200
     1.2 +++ b/test/Tools/isac/BridgeLibisabelle/datatypes.sml	Mon Apr 06 11:44:36 2020 +0200
     1.3 @@ -46,7 +46,7 @@
     1.4  (*AK110725 To be continued...s*)
     1.5  *)
     1.6  
     1.7 -val Hrls {thy_rls = (_,Rls {rules = rules as rule::_,...}),...} = thydata;
     1.8 +val Hrls {thy_rls = (_,Rule_Set.Repeat {rules = rules as rule::_,...}),...} = thydata;
     1.9  
    1.10  (*for rule2xml...*)
    1.11  val (j, thyID, Thm (thmID, thm)) = (2, thyID, rule);