equal
deleted
inserted
replaced
101 open Istate; |
101 open Istate; |
102 open Error_Pattern; |
102 open Error_Pattern; |
103 open Error_Pattern_Def; |
103 open Error_Pattern_Def; |
104 open In_Chead; |
104 open In_Chead; |
105 open Chead; pt_extract; |
105 open Chead; pt_extract; |
106 open Generate; (* NONE *) |
|
107 open Ctree; append_problem; |
106 open Ctree; append_problem; |
108 open Pos; |
107 open Pos; |
109 open Program; |
108 open Program; |
110 open Prog_Tac; |
109 open Prog_Tac; |
111 open Tactical; |
110 open Tactical; |
119 open Step; |
118 open Step; |
120 open Solve; (* NONE *) |
119 open Solve; (* NONE *) |
121 open Stool; (* NONE *) |
120 open Stool; (* NONE *) |
122 open ContextC; transfer_asms_from_to; |
121 open ContextC; transfer_asms_from_to; |
123 open Tactic; (* NONE *) |
122 open Tactic; (* NONE *) |
124 open Model; (* NONE *) |
123 open P_Model; (* NONE *) |
125 open Rewrite; |
124 open Rewrite; |
126 open Eval; get_pair; |
125 open Eval; get_pair; |
127 open TermC; atomt; |
126 open TermC; atomt; |
128 open Rule; |
127 open Rule; |
129 open Rule_Set; Sequence; |
128 open Rule_Set; Sequence; |