]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 507636c) | patch
added ugly test showing many many bugs in the current kernel
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 3 Apr 2008 15:42:10 +0000 (15:42 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 3 Apr 2008 15:42:10 +0000 (15:42 +0000)
commitb87b8d16e74b1f6072e87f02c1cec78521e6791c
tree34fd2863c3128d18dfcf9bcd40e8faef71ba2540tree | snapshot
parent507636cbb473500f40d0969a30e7afc7ddd88f2dcommit | diff
added ugly test showing many many bugs in the current kernel
helm/software/matita/tests/dependent_guarded_bove_capretta.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.