milestone in basic_2 with additions in static_2

[helm.git] / matita / matita / contribs / lambdadelta / partial.txt

diff --git a/matita/matita/contribs/lambdadelta/partial.txt b/matita/matita/contribs/lambdadelta/partial.txt
deleted file mode 100644 (file)
index 11b4d45..0000000
--- a/matita/matita/contribs/lambdadelta/partial.txt
+++ /dev/null
@@ -1,4 +0,0 @@
-ground_2
-static_2
-basic_2
-apps_2