equal
deleted
inserted
replaced
106 open Inform; cas_input; |
106 open Inform; cas_input; |
107 open Rtools; trtas2str; |
107 open Rtools; trtas2str; |
108 open Chead; pt_extract; |
108 open Chead; pt_extract; |
109 open Generate; (* NONE *) |
109 open Generate; (* NONE *) |
110 open Ctree; append_problem; |
110 open Ctree; append_problem; |
|
111 open Pos; |
111 open Program; |
112 open Program; |
112 open Prog_Tac; |
113 open Prog_Tac; |
113 open Tactical; |
114 open Tactical; |
114 open Prog_Expr; |
115 open Prog_Expr; |
115 open Auto_Prog; rule2stac; |
116 open Auto_Prog; rule2stac; |