]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 92b9fb7) | patch
Partial modifications.
authorAndrea Asperti <andrea.asperti@unibo.it>
Wed, 11 May 2011 13:26:18 +0000 (13:26 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Wed, 11 May 2011 13:26:18 +0000 (13:26 +0000)
commit589abc887494582fb011df38897bb142d6da42c9
tree4940b9da2023aee4754fea87e233f3c9c2706d01tree | snapshot
parent92b9fb7c477eb1b0dbf5d921555d9a0295d0e46dcommit | diff
Partial modifications.
matita/matita/lib/lambda/types.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.