]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2b10614) | patch
case not unfilding fixed
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 29 May 2008 16:34:08 +0000 (16:34 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 29 May 2008 16:34:08 +0000 (16:34 +0000)
commit3c4660604bb23d862c72f64e6b5b5974260eea28
tree74aaf3f38d65631054150f3f4e04f75895ed41e0tree | snapshot
parent2b10614120e86ec755f4826c6e78a654434bc7f8commit | diff
case not unfilding fixed
helm/software/matita/library/decidable_kit/list_aux.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.