(* *)
(**************************************************************************)
-include "Basic-2/grammar/term_simple.ma".
+include "Basic_2/grammar/term_simple.ma".
(* HOMOMORPHIC TERMS ********************************************************)
(* Basic inversion lemmas ***************************************************)
-(* Basic-1: removed theorems 7:
+(* Basic_1: removed theorems 7:
iso_gen_sort iso_gen_lref iso_gen_head iso_refl iso_trans
iso_flats_lref_bind_false iso_flats_flat_bind_false
*)