update in ground_2, static_2, basic_2

[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / rt_computation / cprs_cprs.ma

diff --git a/matita/matita/contribs/lambdadelta/basic_2/rt_computation/cprs_cprs.ma b/matita/matita/contribs/lambdadelta/basic_2/rt_computation/cprs_cprs.ma
index 3fa433c0f4de4dcd5a5017a21ba5a3ee7b5a6438..aba142ab75dda014eb978f22628230ccae37d45d 100644 (file)
--- a/matita/matita/contribs/lambdadelta/basic_2/rt_computation/cprs_cprs.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/rt_computation/cprs_cprs.ma
@@ -12,6 +12,7 @@
 (*                                                                        *)
 (**************************************************************************)
 
+include "ground_2/xoa/ex_4_5.ma".
 include "basic_2/rt_computation/cpms_cpms.ma".
 include "basic_2/rt_computation/cprs_cpr.ma".