Mercurial Mercurial > wneuper > isa / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
test/Tools/isac/xmlsrc/datatypes.sml
changeset 52101 c3f399ce32af
parent 42176 3573fd729e99
child 55421 107f40711818
equal deleted inserted replaced
52100:0831a4a6ec8a 52101:c3f399ce32af 
    30 (*val thydata = get_the ["IsacKnowledge", "Test", "Rulesets", "ac_plus_times"]; 
    30 (*val thydata = get_the ["IsacKnowledge", "Test", "Rulesets", "ac_plus_times"]; 
    31   (* ERROR: get_pbt not found: ["IsacKnowledge","Test","Rulesets","ac_plus_times"] *)*)
 
    31   (* ERROR: get_pbt not found: ["IsacKnowledge","Test","Rulesets","ac_plus_times"] *)*)
 
    32 "~~~~~ fun get_the, args:"; val (theID:theID) = (["IsacKnowledge", "Test", "Rulesets", "ac_plus_times"]);
 
    32 "~~~~~ fun get_the, args:"; val (theID:theID) = (["IsacKnowledge", "Test", "Rulesets", "ac_plus_times"]);
 
    33 (*get_py  (Thy_Info.get_theory "Pure") theID theID (! thehier); 
    33 (*get_py  (Thy_Info.get_theory "Pure") theID theID (! thehier); 
    34   (* ERROR: get_pbt not found: ["IsacKnowledge","Test","Rulesets","ac_plus_times"] *)*)
 
    34   (* ERROR: get_pbt not found: ["IsacKnowledge","Test","Rulesets","ac_plus_times"] *)*)
 
    35 print_depth 999;
 
    35 print_depth 3; (*999*)
 
    36 (!thehier);
 
    36 (!thehier);
 
    37 
    37 
    38 (*"~~~~~ fun get_py, args:"; val (thy, d, _, []) = ((Thy_Info.get_theory "Pure"), theID, theID, (! thehier));*)
 
    38 (*"~~~~~ fun get_py, args:"; val (thy, d, _, []) = ((Thy_Info.get_theory "Pure"), theID, theID, (! thehier));*)
 
    39 "~~~~~ fun get_py, args:"; val (thy, d, _, [_]) = ((Thy_Info.get_theory "Pure"), theID, theID, (!thehier));
 
    39 "~~~~~ fun get_py, args:"; val (thy, d, _, [_]) = ((Thy_Info.get_theory "Pure"), theID, theID, (!thehier));
 
    40 error ("get_pbt not found: "^(strs2str d));
 
    40 error ("get_pbt not found: "^(strs2str d));
wneuper/isa