]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a50715f) | patch
added few more fun to this test
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 9 Jul 2007 13:32:17 +0000 (13:32 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 9 Jul 2007 13:32:17 +0000 (13:32 +0000)
commitf797f67a51e6c9919d77429cf0b9d7a747554eb0
tree51d04f33186c421aaaaafc463908b448140705ectree | snapshot
parenta50715f0d36c627695c86dd8733a83e18f5e424acommit | diff
added few more fun to this test
helm/software/matita/tests/multiple_inheritance.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.