]> matita.cs.unibo.it Git - helm.git/blobdiff - matita/matita/contribs/lambdadelta/basic_2/rt_computation/partial.txt
- cpxs_tsts_vector completed
[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / rt_computation / partial.txt
index 41a6c9556739856f726f04b5c2c20f3e201a9188..68c8d4eac4642f19ea914b462e2f40e182713f81 100644 (file)
@@ -1 +1,4 @@
-cpxs.ma
+cpxs.ma cpxs_tdeq.ma cpxs_tsts.ma cpxs_tsts_vector.ma cpxs_drops.ma cpxs_lsubr.ma cpxs_lfpx.ma cpxs_cnx.ma cpxs_cpxs.ma
+lfpxs.ma lfpxs_fqup.ma lfpxs_cpxs.ma
+csx.ma csx_cnx.ma csx_cpxs.ma csx_csx.ma
+csx_vector.ma