107 new version with <KESTOREREF>s -- not used because linking |
107 new version with <KESTOREREF>s -- not used because linking |
108 requires elements (rls, calc, ...) to be reorganized.*) |
108 requires elements (rls, calc, ...) to be reorganized.*) |
109 (*######## ATTENTION: THIS IS not THE ACTUAL VERSION ################*) |
109 (*######## ATTENTION: THIS IS not THE ACTUAL VERSION ################*) |
110 fun pbl2term thy (pblRD: Specify.pblRD) = (*WN120405.TODO.txt*) |
110 fun pbl2term thy (pblRD: Specify.pblRD) = (*WN120405.TODO.txt*) |
111 TermC.str2term ("Problem (" ^ (get_thy o Rule.theory2domID) thy ^ "', " ^ (strs2str' o rev) pblRD ^ ")"); |
111 TermC.str2term ("Problem (" ^ (get_thy o Rule.theory2domID) thy ^ "', " ^ (strs2str' o rev) pblRD ^ ")"); |
112 (* term2str (pbl2term (Thy_Info_get_theory "Isac") ["equations","univariate","normalise"]); |
112 (* term2str (pbl2term (Thy_Info_get_theory "Isac_Knowledge") ["equations","univariate","normalise"]); |
113 val it = "Problem (Isac, [normalise, univariate, equations])" : string |
113 val it = "Problem (Isac, [normalise, univariate, equations])" : string |
114 *) |
114 *) |
115 val i = indentation; |
115 val i = indentation; |
116 |
116 |
117 (* new version with <KESTOREREF>s -- not used *) |
117 (* new version with <KESTOREREF>s -- not used *) |
191 new version with <KESTOREREF>s -- not used because linking |
191 new version with <KESTOREREF>s -- not used because linking |
192 requires elements (rls, calc, ...) to be reorganized.*) |
192 requires elements (rls, calc, ...) to be reorganized.*) |
193 (*######## ATTENTION: THIS IS not THE ACTUAL VERSION ################*) |
193 (*######## ATTENTION: THIS IS not THE ACTUAL VERSION ################*) |
194 fun met2xml (id: Celem.metID) ({guh,mathauthors,init,ppc,pre,scr,calc, |
194 fun met2xml (id: Celem.metID) ({guh,mathauthors,init,ppc,pre,scr,calc, |
195 crls,erls,errpats,nrls,prls,srls,rew_ord'}: Celem.met) = |
195 crls,erls,errpats,nrls,prls,srls,rew_ord'}: Celem.met) = |
196 let val thy' = "Isac" (*FIXME.WN0607 get thy from met ?!?*) |
196 let val thy' = "Isac_Knowledge" (*FIXME.WN0607 get thy from met ?!?*) |
197 val crls' = (#id o Rule.rep_rls) crls |
197 val crls' = (#id o Rule.rep_rls) crls |
198 val erls' = (#id o Rule.rep_rls) erls |
198 val erls' = (#id o Rule.rep_rls) erls |
199 val nrls' = (#id o Rule.rep_rls) nrls |
199 val nrls' = (#id o Rule.rep_rls) nrls |
200 val prls' = (#id o Rule.rep_rls) prls |
200 val prls' = (#id o Rule.rep_rls) prls |
201 val srls' = (#id o Rule.rep_rls) srls |
201 val srls' = (#id o Rule.rep_rls) srls |