]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c640262) | patch
removed dummy rewrites
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 2 Apr 2008 09:23:30 +0000 (09:23 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 2 Apr 2008 09:23:30 +0000 (09:23 +0000)
commit68d0514bb21f373827bc3578a6b30e5fd95b6271
tree7d13ac3de0675d3d3a50158ac12e089a1208cd1btree | snapshot
parentc640262bd3affd2a689ce401f4f48baca6421c53commit | diff
removed dummy rewrites
helm/software/matita/library/list/in.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.