equal
deleted
inserted
replaced
72 (*solve has still p_!!!!!!!!!!!!!!!!!!!!!!!!!*) |
72 (*solve has still p_!!!!!!!!!!!!!!!!!!!!!!!!!*) |
73 |
73 |
74 e_metID = get_obj g_metID pt (par_pblobj pt p); (*false*) |
74 e_metID = get_obj g_metID pt (par_pblobj pt p); (*false*) |
75 val ctxt = get_ctxt pt po; |
75 val ctxt = get_ctxt pt po; |
76 |
76 |
77 (*generate1 m (e_istate, ctxt) (p,p_) pt; |
77 (*generate1 m (Istate.empty, ctxt) (p,p_) pt; |
78 (*Argument: m : tac Reason: Can't unify tac_ with tac (Different type constructors)*)*) |
78 (*Argument: m : tac Reason: Can't unify tac_ with tac (Different type constructors)*)*) |
79 (assoc_thy (get_obj g_domID pt (par_pblobj pt p))); |
79 (assoc_thy (get_obj g_domID pt (par_pblobj pt p))); |
80 assoc_thy; |
80 assoc_thy; |
81 |
81 |
82 (* ERROR which has NOT be created by this change set |
82 (* ERROR which has NOT be created by this change set |