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/Knowledge/logexp.sml
branchisac-update-Isa09-2
changeset 38031 460c24a6a6ba
parent 37991 028442673981
child 38050 4c52ad406c20
equal deleted inserted replaced
38030:95d956108461 38031:460c24a6a6ba 
    46 val (p,_,f,nxt,_,pt) = me nxt p c pt;
 
    46 val (p,_,f,nxt,_,pt) = me nxt p c pt;
 
    47 val (p,_,f,nxt,_,pt) = me nxt p c pt;
 
    47 val (p,_,f,nxt,_,pt) = me nxt p c pt;
 
    48 val (p,_,f,nxt,_,pt) = me nxt p c pt;
 
    48 val (p,_,f,nxt,_,pt) = me nxt p c pt;
 
    49 val (p,_,f,nxt,_,pt) = me nxt p c pt;
 
    49 val (p,_,f,nxt,_,pt) = me nxt p c pt;
 
    50 case nxt of ("Apply_Method",_) => ()
 
    50 case nxt of ("Apply_Method",_) => ()
 
    51 	  | _ => raise error "logexp.sml setup innsbruck";
 
    51 	  | _ => error "logexp.sml setup innsbruck";
 
    52 val (p,_,f,nxt,_,pt) = me nxt p c pt;f2str f;
 
    52 val (p,_,f,nxt,_,pt) = me nxt p c pt;f2str f;
 
    53 
    53 
    54 
    54 
    55 val (p,_,f,nxt,_,pt) = me nxt p c pt;f2str f;
 
    55 val (p,_,f,nxt,_,pt) = me nxt p c pt;f2str f;
 
    56 val (p,_,f,nxt,_,pt) = me nxt p c pt;f2str f;
 
    56 val (p,_,f,nxt,_,pt) = me nxt p c pt;f2str f;
wneuper/isa