1 files changed, 13 insertions, 8 deletions
diff --git a/pretyping/pretyping.mllib b/pretyping/pretyping.mllib
index 9eec9414..25d17c7c 100644
--- a/pretyping/pretyping.mllib
+++ b/pretyping/pretyping.mllib
@@ -1,29 +1,34 @@
+Locusops
 Termops
+Namegen
 Evd
 Reductionops
 Vnorm
-Namegen
 Inductiveops
+Arguments_renaming
+Nativenorm
 Retyping
 Cbv
 Pretype_errors
+Find_subterm
 Evarutil
-Term_dnet
+Evarsolve
 Recordops
 Evarconv
-Arguments_renaming
 Typing
-Glob_term
-Pattern
-Matching
+Miscops
+Glob_ops
+Redops
+Patternops
+Constr_matching
 Tacred
 Typeclasses_errors
 Typeclasses
 Classops
+Program
 Coercion
-Unification
 Detyping
 Indrec
 Cases
 Pretyping
-
+Unification