]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a7de6cc) | patch
sn_prod
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 21 Mar 2011 08:18:22 +0000 (08:18 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 21 Mar 2011 08:18:22 +0000 (08:18 +0000)
commit078fb4b522a283459a70c2a8c9398e84fc1deeb5
tree0a00c98f127bb916a8639aca645bd80d0f2d9ffftree | snapshot
parenta7de6cc15403f555ed5d467e59e7c4122b24816bcommit | diff
sn_prod
matita/matita/lib/lambda/reduction.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.