]> matita.cs.unibo.it Git - helm.git/commit
added a pointer to helena in Wiedijk's list
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 12 Sep 2011 14:39:02 +0000 (14:39 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 12 Sep 2011 14:39:02 +0000 (14:39 +0000)
commit96c5bba006710411b469c2ddf5439cf337a8e6b9
tree51c22862fd1c35b6374d624e73b7919ea344385a
parente19e1f08edc22356f5a3a5a96e9afea1a3c13d97
added a pointer to helena in Wiedijk's list
helm/www/lambda_delta/implementation.html