35 val posformheads2xml : int -> (Ctree.pos' * Ctree.ptform) list -> Celem.xml |
35 val posformheads2xml : int -> (Ctree.pos' * Ctree.ptform) list -> Celem.xml |
36 val posforms2xml : int -> (Ctree.pos' * Term.term) list -> Celem.xml |
36 val posforms2xml : int -> (Ctree.pos' * Term.term) list -> Celem.xml |
37 val posterms2xml : int -> (Ctree.pos' * term) list -> Celem.xml |
37 val posterms2xml : int -> (Ctree.pos' * term) list -> Celem.xml |
38 val precond2xml : int -> bool * Term.term -> Celem.xml |
38 val precond2xml : int -> bool * Term.term -> Celem.xml |
39 val preconds2xml : int -> (bool * Term.term) list -> Celem.xml |
39 val preconds2xml : int -> (bool * Term.term) list -> Celem.xml |
40 val rls2xml : int -> Celem.thyID * rls -> Celem.xml |
40 val rls2xml : int -> Celem.thyID * Celem.rls -> Celem.xml |
41 val rule2xml : int -> Celem.guh -> rule -> Celem.xml |
41 val rule2xml : int -> Celem.guh -> Celem.rule -> Celem.xml |
42 val rules2xml : int -> Celem.guh -> rule list -> Celem.xml |
42 val rules2xml : int -> Celem.guh -> Celem.rule list -> Celem.xml |
43 val scr2xml : int -> Celem.scr -> Celem.xml |
43 val scr2xml : int -> Celem.scr -> Celem.xml |
44 val spec2xml : int -> Celem.spec -> Celem.xml |
44 val spec2xml : int -> Celem.spec -> Celem.xml |
45 val sub2xml : int -> Term.term * Term.term -> Celem.xml |
45 val sub2xml : int -> Term.term * Term.term -> Celem.xml |
46 val subs2xml : int -> Selem.subs -> Celem.xml |
46 val subs2xml : int -> Selem.subs -> Celem.xml |
47 val subst2xml : int -> Celem.subst -> Celem.xml |
47 val subst2xml : int -> Celem.subst -> Celem.xml |