]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 25b60c3) | 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)
commit443591a0a17e6a493bdd59b1103960063c0e560b
tree17fe0498ef235ba2b98488216ac39bfce37f3807tree | snapshot
parent25b60c359f88d29e7f0b916c95cafc1cab06dc5bcommit | diff
added few more fun to this test
matita/tests/multiple_inheritance.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.