1.1 --- a/src/smltest/xmlsrc/mathml.sml	Thu May 17 14:05:19 2007 +0200
     1.2 +++ b/src/smltest/xmlsrc/mathml.sml	Thu Jan 17 16:27:03 2008 +0100
     1.3 @@ -11,6 +11,7 @@
     1.4  "within struct ---------------------------------------------------";
     1.5  "-----------------------------------------------------------------";
     1.6  "--------- encode ^^^ -> ^ ---------------------------------------";
     1.7 +"--------- encode < -> &lt and > -> &gt --------------------------";
     1.8  "-----------------------------------------------------------------";
     1.9  "exported from struct --------------------------------------------";
    1.10  "-----------------------------------------------------------------";
    1.11 @@ -32,6 +33,16 @@
    1.12  if decode str = "a^2+b^2=c^2" then ()
    1.13  else raise error "mathml.sml: diff.behav. in encode ^^^ -> ^";
    1.14  
    1.15 +"--------- encode < -> &lt and > -> &gt --------------------------";
    1.16 +"--------- encode < -> &lt and > -> &gt --------------------------";
    1.17 +"--------- encode < -> &lt and > -> &gt --------------------------";
    1.18 +val str = "?bdv occurs_in ?b; 0 < ?n |] ==> ?a / ?b ^ ?n = ?a * ?b ^ - ?n";
    1.19 +if decode str = 
    1.20 +   "?bdv occurs_in ?b; 0 &lt ?n |] ==&gt ?a / ?b ^ ?n = ?a * ?b ^ - ?n" 
    1.21 +then () else raise error "mathml.sml: diff.behav. in encode '<' and '>'";
    1.22 +
    1.23 +"----- check 'manually' the xml-output of calling functions ------";
    1.24 +formula2xml 1 (str2term )
    1.25  
    1.26  (*==================================================================*)
    1.27  "-----------------------------------------------------------------";