propagating the arithmetics library, partial commit

[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / rt_transition / cpt.ma

diff --git a/matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpt.ma b/matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpt.ma
index 4f41f762df352ca8babcd74183e125c20c992be7..de305d48144bd0551e6b1ddc758b92c0f99f669a 100644 (file)
--- a/matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpt.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpt.ma
@@ -13,9 +13,9 @@
 (**************************************************************************)
 
 include "ground/xoa/ex_4_3.ma".
-include "ground/steps/rtc_ist_shift.ma".
-include "ground/steps/rtc_ist_plus.ma".
-include "ground/steps/rtc_ist_max.ma".
+include "ground/counters/rtc_ist_shift.ma".
+include "ground/counters/rtc_ist_plus.ma".
+include "ground/counters/rtc_ist_max.ma".
 include "static_2/syntax/sh.ma".
 include "basic_2/notation/relations/pty_6.ma".
 include "basic_2/rt_transition/cpg.ma".