1.1 --- a/test/Tools/isac/Knowledge/rational.sml	Sat Mar 17 11:06:46 2012 +0100
     1.2 +++ b/test/Tools/isac/Knowledge/rational.sml	Sat Mar 17 12:52:30 2012 +0100
     1.3 @@ -5,21 +5,15 @@
     1.4  
     1.5  12345678901234567890123456789012345678901234567890123456789012345678901234567890
     1.6          10        20        30        40        50        60        70        80
     1.7 -
     1.8 -LEGEND WN070906
     1.9 +LEGEND
    1.10 +WN120317.TODO postponed test/../ratinal,ratinal2.sml to joint work with dmeind 
    1.11 +WN070906
    1.12     nonterm.SK   marks non-terminating examples
    1.13     ord.SK       PARTIALLY marks crucial ordering examples
    1.14     *SK*         of some (secondary) interest (on 070906)          
    1.15 -*******************************************************************)
    1.16 +WN060104 transfer examples marked with (*SR..*) to the exp-collection
    1.17 +*)
    1.18  
    1.19 -(******************************************************************
    1.20 -WN060104 transfer marked (*SR..*)examples to the exp-collection
    1.21 - # exp_IsacCore_Simp_Rat_Cancel.xml     from rational.sml    (*SRC*)  10 exp
    1.22 - # exp_IsacCore_Simp_Rat_Add.xml        from rational.sml    (*SRA*)  11 exp
    1.23 - # exp_IsacCore_Simp_Rat_Mult.xml	from rational.sml    (*SRM*)   5 exp
    1.24 - # exp_IsacCore_Simp_Rat_AddMult.xml	from rational.sml    (*SRAM*) 11 exp
    1.25 - # exp_IsacCore_Simp_Rat_Double.xml	from rational.sml    (*SRD*)  12 exp
    1.26 -*******************************************************************)
    1.27  "--------------------------------------------------------";
    1.28  "--------------------------------------------------------";
    1.29  "table of contents --------------------------------------";