-include "paths/standard_trace.ma".
-include "paths/labeled_sequential_computation.ma".
-include "paths/labeled_st_reduction.ma".
+include "lambda/paths/standard_trace.ma".
+include "lambda/paths/labeled_sequential_computation.ma".
+include "lambda/paths/labeled_st_reduction.ma".
+
+include "lambda/notation/relations/stdstar_3.ma".
+
+include "lambda/xoa/ex_2_3.ma".