X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2Fexamples%2Fautomath%2FREADME.txt;fp=helm%2Fsoftware%2Fhelena%2Fexamples%2Fautomath%2FREADME.txt;h=8b6c026eada17b9ba4dea5802b2dd5d8cfee4c8f;hb=edf9e34100f49d4aa5ba8f3ce53e34af7718d88e;hp=5d12c466671dc14256f03eac54fddbd57f7c0ddb;hpb=9c489fe144c562dca776df59264329b704e18c49;p=helm.git

diff --git a/helm/software/helena/examples/automath/README.txt b/helm/software/helena/examples/automath/README.txt
index 5d12c4666..8b6c026ea 100644
--- 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