projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 16 Apr 2007 08:33:28 +0000 (08:33 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 16 Apr 2007 08:33:28 +0000 (08:33 +0000) | ||
| commit | 2554aaf0e1923a81b1cedcfd8292d2de16c9a06f | |
| tree | 64fa073a933a6a50e20872ea750fc58bbdefb332 | tree | snapshot |
| parent | e70d9b498615e473258fb1010cc65d39e27a5830 | commit | diff |
| matita/library/decidable_kit/decidable.ma | diff | blob | history | |
| matita/library/decidable_kit/fintype.ma | diff | blob | history |