(* *)
(**************************************************************************)
+include "ground_2/xoa/ex_3_2.ma".
+include "ground_2/xoa/ex_6_8.ma".
include "ground_2/steps/rtc_shift.ma".
(* RT-TRANSITION COUNTER ****************************************************)