]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambda_delta/web/home/basic_2.ldw.xml
manual commit
[helm.git] / helm / www / lambda_delta / web / home / basic_2.ldw.xml
index 6a1f302397723da71e55f3ce78a8574f545b3203..db9898b6deac903bec0cade6c303420088a8eaf0 100644 (file)
@@ -51,7 +51,7 @@
          according to the following table.
          A notation file covering the whole specification is provided.
         The notation for the relations or functions introduced in each file
-        is shown in parentheses.
+        is shown in parentheses (? are placeholders).
    </body>
    <table name="basic_2_src"/>