     1.1 --- a/src/Tools/isac/BridgeLibisabelle/thy-hierarchy.sml	Thu Apr 22 16:49:41 2021 +0200
     1.2 +++ b/src/Tools/isac/BridgeLibisabelle/thy-hierarchy.sml	Thu Apr 22 21:34:20 2021 +0200
     1.3 @@ -190,4 +190,3 @@
     1.4    in (hrls', theID) end
     1.5  
     1.6  (**)end(**)
     1.7 -(** )open Thy_Hierarchy( **)
changeset 60257	9e65148a9916
parent 60255	5497a3d67d96
child 60258	a5eed208b22f