dama almost ok

[helm.git] / helm / software / matita / library / dama / models / nat_order_continuous.ma

diff --git a/helm/software/matita/library/dama/models/nat_order_continuous.ma b/helm/software/matita/library/dama/models/nat_order_continuous.ma
index 5f00dc338d217a855296d51c18985d6f7174467e..3901c8b76b82413971adffeb1f9ca78a15da6835 100644 (file)
--- a/helm/software/matita/library/dama/models/nat_order_continuous.ma
+++ b/helm/software/matita/library/dama/models/nat_order_continuous.ma
@@ -12,8 +12,8 @@
 (*                                                                        *)
 (**************************************************************************)
 
-include "models/increasing_supremum_stabilizes.ma".
-include "models/nat_ordered_uniform.ma".
+include "dama/models/increasing_supremum_stabilizes.ma".
+include "dama/models/nat_ordered_uniform.ma".
 
 lemma nat_us_is_oc: ∀s:‡ℕ.order_continuity (segment_ordered_uniform_space ℕ s).
 intros 3; split; intros 3; cases H1; cases H2; clear H2 H1; cases H; clear H;