notational update in ground_2 and basic_2

[helm.git] / helm / www / lambdadelta / web / home / home.ldw.xml

diff --git a/helm/www/lambdadelta/web/home/home.ldw.xml b/helm/www/lambdadelta/web/home/home.ldw.xml
index 45fc177fbb027e2bf573475af22387a415d63d72..e1b5eb42564e1f7ca01c3ffd5430e5ec12c94f65 100644 (file)
--- a/helm/www/lambdadelta/web/home/home.ldw.xml
+++ b/helm/www/lambdadelta/web/home/home.ldw.xml
@@ -49,7 +49,7 @@
    <topitem name="C9">
       Matthias Weber:
       <notice class="alpha">An extended type system with lambda-typed lambda-expressions (extended version)</notice>
-      (2017). Technical report. Faculty of Computer Science, Technical University of Berlin.
+      (2018). Technical report. Faculty of Computer Science, Technical University of Berlin.
    </topitem>
 
    <topitem name="C8">