Added initial support for inversion principles in Matita NG.

[helm.git] / helm / software / lambda-delta / README

diff --git a/helm/software/lambda-delta/README b/helm/software/lambda-delta/README
index 8087dec9dd1e28460ed1ab260a5a5e39eee65ba8..8a0f0d674b407d114dc660b7f324c319347ca99e 100644 (file)
--- a/helm/software/lambda-delta/README
+++ b/helm/software/lambda-delta/README
@@ -1,4 +1,4 @@
-Helena Checker 0.8.0 M (June 2008)
+Helena 0.8.1 M
 
 * type "make" or "make opt" to compile the native executable