equal
deleted
inserted
replaced
40 (* val cas_input_ : |
40 (* val cas_input_ : |
41 spec -> |
41 spec -> |
42 (Term.term * Term.term list) list -> |
42 (Term.term * Term.term list) list -> |
43 pblID * SpecifyTools.itm list * metID * SpecifyTools.itm list * |
43 pblID * SpecifyTools.itm list * metID * SpecifyTools.itm list * |
44 (bool * Term.term) list *) |
44 (bool * Term.term) list *) |
45 val castab : castab ref |
45 val castab : castab Unsynchronized.ref |
46 val compare_step : |
46 val compare_step : |
47 calcstate' -> Term.term -> string * calcstate' |
47 calcstate' -> Term.term -> string * calcstate' |
48 (* val concat_deriv : |
48 (* val concat_deriv : |
49 'a * ((Term.term * Term.term) list -> Term.term * Term.term -> bool) |
49 'a * ((Term.term * Term.term) list -> Term.term * Term.term -> bool) |
50 -> |
50 -> |