additional commit for version 0.8.2

[helm.git] / helm / software / helena / examples / automath / README.txt

diff --git a/helm/software/helena/examples/automath/README.txt b/helm/software/helena/examples/automath/README.txt
deleted file mode 100644 (file)
index 8b6c026..0000000
--- a/helm/software/helena/examples/automath/README.txt
+++ /dev/null
@@ -1,7 +0,0 @@
-This directory contains:
-
-grundlagen_0.aut: original specification valid in AutQE with η-reduction enabled
-grundlagen_1.aut: "η-equivalent" specification valid also in λδ version 3
-grundlagen_2.aut: "η-equivalent" specification valid also in a Pure Type System
-
-Omega.aut       : the invalid term \Omega