]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2c6463a) | patch
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 6 Sep 2007 13:00:58 +0000 (13:00 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 6 Sep 2007 13:00:58 +0000 (13:00 +0000)
commite23c6d237922d7bfb0e98d165efd1ed24566106d
tree581a6e8a42dbf604c02bd1a67f1248c193114355tree | snapshot
parent2c6463a8ba85821c0daff6ba225dfccad324bb26commit | diff
...
matita/tests/coercions_propagation.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.