last commit for helena 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
index 5d12c466671dc14256f03eac54fddbd57f7c0ddb..8b6c026eada17b9ba4dea5802b2dd5d8cfee4c8f 100644 (file)
--- a/helm/software/helena/examples/automath/README.txt
+++ b/helm/software/helena/examples/automath/README.txt
@@ -3,3 +3,5 @@ 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