projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 27 Oct 2008 20:53:43 +0000 (20:53 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 27 Oct 2008 20:53:43 +0000 (20:53 +0000) | ||
| commit | c33fae30b4ce40198b8e1889ea1c1b58697cd567 | |
| tree | 7159c7be6ef967b316f0e15b938d468a88668425 | tree | snapshot |
| parent | 53be448c4f8ca0b60be92e24f355662a0ea7567f | commit | diff |
| helm/software/matita/contribs/dama/dama/property_exhaustivity.ma | diff | blob | history |