1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/doc/listings/MH-exp_IsacCore_Tests_1a.xml Wed May 18 17:33:56 2005 +0200
1.3 @@ -0,0 +1,37 @@
1.4 +...
1.5 + < DESCRIPTION >
1.6 + < FORMALIZATION >
1.7 + < VARIANT >
1.8 + < TERMLIST >
1.9 + < MATHML >
1.10 + < ISA > equality (1+-1*2+x=0) < /ISA >
1.11 + < /MATHML >
1.12 + < MATHML >
1.13 + < ISA > solveFor x < /ISA >
1.14 + < /MATHML >
1.15 + < MATHML >
1.16 + < ISA > solutions L < /ISA >
1.17 + < /MATHML >
1.18 + < /TERMLIST >
1.19 + < SPECIFICATION >
1.20 + < THEORY > Test.thy < /THEORY >
1.21 + < PROBLEM >
1.22 + < KEY >
1.23 + < ID > linear < /ID >
1.24 + < ID > univariate < /ID >
1.25 + < ID > equation < /ID >
1.26 + < ID > test < /ID >
1.27 + < /KEY >
1.28 + < /PROBLEM >
1.29 + < METHOD >
1.30 + < KEY >
1.31 + < ID > Test < /ID >
1.32 + < ID > solve_linear < /ID >
1.33 + < /KEY >
1.34 + < /METHOD >
1.35 + < /SPECIFICATION >
1.36 + < HIDE > < /HIDE >
1.37 + < DETAIL > < /DETAIL >
1.38 + < /VARIANT >
1.39 + < /FORMALIZATION >
1.40 +</EXAMPLE>
2.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
2.2 +++ b/doc/listings/MH-problemhierarchy.xml Wed May 18 17:33:56 2005 +0200
2.3 @@ -0,0 +1,29 @@
2.4 +< NODE >
2.5 + < ID > Problemhierarchy < /ID >
2.6 +< NODE >
2.7 + < ID > e_pblID < /ID >
2.8 + < CONTENTREF > pbl_1.xml < /CONTENTREF >
2.9 +< /NODE >
2.10 +< NODE >
2.11 + < ID > equation < /ID >
2.12 + < CONTENTREF > pbl_2.xml < /CONTENTREF >
2.13 + < NODE >
2.14 + < ID >univariate< /ID >
2.15 + < CONTENTREF > pbl_2_1.xml < /CONTENTREF >
2.16 + < NODE >
2.17 + < ID > linear < /ID >
2.18 + < CONTENTREF > pbl_2_1_1.xml < /CONTENTREF >
2.19 + < /NODE >
2.20 + < NODE >
2.21 + < ID > root < /ID >
2.22 + < CONTENTREF > pbl_2_1_2.xml < /CONTENTREF >
2.23 + < NODE >
2.24 + < ID > sq < /ID >
2.25 + < CONTENTREF > pbl_2_1_2_1.xml < /CONTENTREF >
2.26 + < NODE >
2.27 + < ID > rat < /ID >
2.28 + < CONTENTREF > pbl_2_1_2_1_1.xml < /CONTENTREF >
2.29 + < /NODE >
2.30 + < /NODE >
2.31 + < NODE >
2.32 + ...
2.33 \ No newline at end of file