]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f73bd1c) | patch
better presentation of lambda-delta
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 26 May 2008 13:43:02 +0000 (13:43 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 26 May 2008 13:43:02 +0000 (13:43 +0000)
commit708e70e2b90c71c9caedef2665a8d4971cf7b8d9
tree59072c08714d2253d4531eaf427b3b6a3f9ec7fbtree | snapshot
parentf73bd1c1cdd504c2a991071505b2e4f541791a7fcommit | diff
better presentation of lambda-delta
helm/www/matita/library.shtml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.