diff options
Diffstat (limited to 'toplevel/class.mli')
-rw-r--r-- | toplevel/class.mli | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/toplevel/class.mli b/toplevel/class.mli index 0d39ee170..8bb3eb7ce 100644 --- a/toplevel/class.mli +++ b/toplevel/class.mli @@ -7,12 +7,8 @@ (************************************************************************) open Names -open Term open Classops -open Declare open Globnames -open Decl_kinds -open Nametab (** Classes and coercions. *) |