1.1 --- a/src/Tools/isac/xmlsrc/pbl-met-hierarchy.sml	Wed Aug 18 13:53:15 2010 +0200
     1.2 +++ b/src/Tools/isac/xmlsrc/pbl-met-hierarchy.sml	Wed Aug 18 13:55:23 2010 +0200
     1.3 @@ -127,8 +127,8 @@
     1.4         indt i ^ "<META> </META>\n" ^
     1.5         (*--------------- begin display ------------------------------*)
     1.6         indt i ^ "<HEADLINE>\n" ^
     1.7 -       (case cas of None => term2xml i (pbl2term thy id)
     1.8 -		  | Some t => term2xml i t) ^ "\n" ^
     1.9 +       (case cas of NONE => term2xml i (pbl2term thy id)
    1.10 +		  | SOME t => term2xml i t) ^ "\n" ^
    1.11         indt i ^ "</HEADLINE>\n" ^
    1.12         (*--------------- hline --------------------------------------*)
    1.13         pattern2xml i ppc where_ ^
    1.14 @@ -168,8 +168,8 @@
    1.15      indt i ^ "<META> </META>\n" ^
    1.16      (*--------------- begin display ------------------------------*)
    1.17      indt i ^ "<HEADLINE>\n" ^
    1.18 -    (case cas of None => term2xml i (pbl2term thy id)
    1.19 -	       | Some t => term2xml i t) ^ "\n" ^
    1.20 +    (case cas of NONE => term2xml i (pbl2term thy id)
    1.21 +	       | SOME t => term2xml i t) ^ "\n" ^
    1.22      indt i ^ "</HEADLINE>\n" ^
    1.23      (*--------------- hline --------------------------------------*)
    1.24      pattern2xml i ppc where_ ^