equal
deleted
inserted
replaced
51 | Substitute sube => ("Substitute", Substitute sube) |
51 | Substitute sube => ("Substitute", Substitute sube) |
52 | Apply_Assumption cts' => ("Apply_Assumption", Apply_Assumption cts') |
52 | Apply_Assumption cts' => ("Apply_Assumption", Apply_Assumption cts') |
53 |
53 |
54 | Take cterm' => ("Take", Take cterm') |
54 | Take cterm' => ("Take", Take cterm') |
55 | Take_Inst cterm' => ("Take_Inst", Take_Inst cterm') |
55 | Take_Inst cterm' => ("Take_Inst", Take_Inst cterm') |
56 | Group (con, ints) => ("Group", Group (con, ints)) |
|
57 | Subproblem (domID, pblID) => ("Subproblem", Subproblem (domID, pblID)) |
56 | Subproblem (domID, pblID) => ("Subproblem", Subproblem (domID, pblID)) |
58 (* |
57 (* |
59 | Subproblem_Full(spec,cts')=> ("Subproblem_Full", Subproblem_Full(spec,cts')) |
58 | Subproblem_Full(spec,cts')=> ("Subproblem_Full", Subproblem_Full(spec,cts')) |
60 *) |
59 *) |
61 | End_Subproblem => ("End_Subproblem",End_Subproblem) |
60 | End_Subproblem => ("End_Subproblem",End_Subproblem) |