(* *)
(**************************************************************************)
-(* manca un pezzo del pullback, se inverto poi non tipa *)
-include "sandwich.ma".
-include "property_exhaustivity.ma".
+include "dama/sandwich.ma".
+include "dama/property_exhaustivity.ma".
(* NOT DUALIZED *)
alias symbol "low" = "lower".