equal
deleted
inserted
replaced
42 open Stool; (* NONE *) |
42 open Stool; (* NONE *) |
43 open ContextC; transfer_asms_from_to; |
43 open ContextC; transfer_asms_from_to; |
44 open Tactic; (* NONE *) |
44 open Tactic; (* NONE *) |
45 open Model; (* NONE *) |
45 open Model; (* NONE *) |
46 open Rewrite; |
46 open Rewrite; |
47 open Num_Calc; get_pair; |
47 open Eval; get_pair; |
48 open TermC; atomt; |
48 open TermC; atomt; |
49 open Celem; e_pbt; |
49 open Celem; e_pbt; |
50 open Rule; |
50 open Rule; |
51 open Rule_Set |
51 open Rule_Set |
52 open Exec_Def |
52 open Exec_Def |