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 | bb4f21cca72a36572dd7a97cf70f8a9eeafc4d6b | |
| tree | 8222534476643d62018e49e61e03696d070a8d0a | tree | snapshot |
| parent | c02c3be6892f0f4bfdad52e9d5431ee0a5a69216 | commit | diff |
| helm/software/matita/library/decidable_kit/decidable.ma | diff | blob | history | |
| helm/software/matita/library/decidable_kit/fintype.ma | diff | blob | history |