equal
deleted
inserted
replaced
122 open Stool; (* NONE *) |
122 open Stool; (* NONE *) |
123 open ContextC; transfer_asms_from_to; |
123 open ContextC; transfer_asms_from_to; |
124 open Tactic; (* NONE *) |
124 open Tactic; (* NONE *) |
125 open Model; (* NONE *) |
125 open Model; (* NONE *) |
126 open Rewrite; mk_thm; |
126 open Rewrite; mk_thm; |
127 open Num_Calc; get_pair; |
127 open Eval; get_pair; |
128 open TermC; atomt; |
128 open TermC; atomt; |
129 open Celem; e_pbt; |
129 open Celem; e_pbt; |
130 open Rule; |
130 open Rule; |
131 open Rule_Set |
131 open Rule_Set |
132 open Exec_Def |
132 open Exec_Def |