diff options
Diffstat (limited to 'toplevel/auto_ind_decl.ml')
| -rw-r--r-- | toplevel/auto_ind_decl.ml | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/toplevel/auto_ind_decl.ml b/toplevel/auto_ind_decl.ml index e8abd8e17..59cc3afd8 100644 --- a/toplevel/auto_ind_decl.ml +++ b/toplevel/auto_ind_decl.ml @@ -11,20 +11,12 @@ open Tacmach open Errors -open Util -open Flags -open Decl_kinds open Pp -open Entries open Termops open Declarations -open Declare open Term open Names open Globnames -open Goptions -open Mod_subst -open Indrec open Inductiveops open Tactics open Tacticals |