]> matita.cs.unibo.it Git - helm.git/commit
- notation changes in basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 10 May 2012 16:02:55 +0000 (16:02 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 10 May 2012 16:02:55 +0000 (16:02 +0000)
commitaae326321d5aa84b996a4da6a41a590c52c9ebbd
treefb990017aafe608c8a74d6dab3f683e3147734d5
parent2ba7ef901a6b72210692792f2396c08bc0cff52c
- notation changes in basic_2
helm/www/lambda_delta/basic_2.html
helm/www/lambda_delta/web/home/basic_2_src.tbl