diff options
Diffstat (limited to 'toplevel/ind_tables.mli')
-rw-r--r-- | toplevel/ind_tables.mli | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/toplevel/ind_tables.mli b/toplevel/ind_tables.mli index a97c2daaa..e13eedbdc 100644 --- a/toplevel/ind_tables.mli +++ b/toplevel/ind_tables.mli @@ -14,7 +14,6 @@ open Sign val cache_scheme :(object_name*(Indmap.key*constr)) -> unit -val export_scheme : (Indmap.key*constr) -> (Indmap.key*constr) option val find_eq_scheme : Indmap.key -> constr val check_eq_scheme : Indmap.key -> bool @@ -23,10 +22,6 @@ val cache_bl: (object_name*(Indmap.key*constr)) -> unit val cache_lb: (object_name*(Indmap.key*constr)) -> unit val cache_dec : (object_name*(Indmap.key*constr)) -> unit -val export_bool_leib : (Indmap.key*constr) -> (Indmap.key*constr) option -val export_leib_bool : (Indmap.key*constr) -> (Indmap.key*constr) option -val export_dec_proof : (Indmap.key*constr) -> (Indmap.key*constr) option - val find_bl_proof : Indmap.key -> constr val find_lb_proof : Indmap.key -> constr val find_eq_dec_proof : Indmap.key -> constr |