1.1 --- a/test/Tools/isac/xmlsrc/thy-hierarchy.sml	Tue Sep 28 08:58:06 2010 +0200
     1.2 +++ b/test/Tools/isac/xmlsrc/thy-hierarchy.sml	Tue Sep 28 09:06:56 2010 +0200
     1.3 @@ -134,7 +134,7 @@
     1.4  case get_the ["IsacKnowledge", "Test", "Rulesets", "Test_simplify"] of
     1.5      Hrls {guh = "thy_Test-rls-Test_simplify",thy_rls = ("Test", _),
     1.6            mathauthors = _,coursedesign = _} => ()
     1.7 -  | _ => raise error "thy-hierarchy.sml: [IsacKnowledge,Test,Rulesets]";
     1.8 +  | _ => error "thy-hierarchy.sml: [IsacKnowledge,Test,Rulesets]";
     1.9  *)
    1.10  
    1.11  
    1.12 @@ -194,12 +194,12 @@
    1.13  case get_the ["IsacKnowledge", "Biegelinie", "Theorems"] of
    1.14     Html {mathauthors =
    1.15  	 ["Walther Neuper 2005 supported by a grant from NMI Austria"],...}=>()
    1.16 - | _ => raise error "thy-hierarchy.sml: store_isa overwritten";
    1.17 + | _ => error "thy-hierarchy.sml: store_isa overwritten";
    1.18  
    1.19  case get_the ["IsacKnowledge","Biegelinie","Theorems","Belastung_Querkraft"] of
    1.20     Hthm {mathauthors =
    1.21  	 ["Walther Neuper 2005 supported by a grant from NMI Austria"],...}=>()
    1.22 - | _ => raise error "thy-hierarchy.sml: store_isa overwritten";
    1.23 + | _ => error "thy-hierarchy.sml: store_isa overwritten";
    1.24  
    1.25  (*
    1.26  print_depth 7;