-include "subterms/booleanized.ma".
-include "paths/labeled_sequential_reduction.ma".
-include "paths/standard_order.ma".
+include "lambda/subterms/booleanized.ma".
+include "lambda/paths/labeled_sequential_reduction.ma".
+include "lambda/paths/standard_order.ma".
+
+include "lambda/notation/relations/std_3.ma".
+
+include "lambda/xoa/ex_4_1.ma".
+include "lambda/xoa/ex_3_4.ma".