projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Thu, 18 Dec 2008 13:56:15 +0000 (13:56 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Thu, 18 Dec 2008 13:56:15 +0000 (13:56 +0000) | ||
| commit | 52bc8021b8be8fec9c3ae65d6b42c0d92d9c3c74 | |
| tree | 85a7170572d1636f96f57bf7b4fc64be5bdfb5d6 | tree | snapshot |
| parent | 1ae23fe33b8647a4b8616e666dc5703c17678069 | commit | diff |
| helm/software/matita/library/datatypes/categories.ma | diff | blob | history | |
| helm/software/matita/library/logic/cprop_connectives.ma | diff | blob | history |