let mpattern n m l =
let queries = ref [] in
- let univ = Some [G.builtin G.MainHypothesis; G.builtin G.InHypothesis;
- G.builtin G.MainConclusion; G.builtin G.InConclusion] in
+ let univ = Some [G.builtin "MH"; G.builtin "IH";
+ G.builtin "MC"; G.builtin "IC"] in
let handle = get_handle () in
let rec pattern level = function
| [] -> ()
let mbackward n m l =
let queries = ref [] in
let torigth_restriction (u, b) =
- let p = if b then G.builtin G.MainConclusion
- else G.builtin G.InConclusion in
+ let p = if b then G.builtin "MC" else G.builtin "IC" in
(u, p, None)
in
- let univ = Some [G.builtin G.MainConclusion; G.builtin G.InConclusion] in
+ let univ = Some [G.builtin "MC"; G.builtin "IC"] in
let handle = get_handle () in
let rec backward level = function
| [] -> ()