projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Thu, 23 Sep 2010 22:36:07 +0000 (22:36 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Thu, 23 Sep 2010 22:36:07 +0000 (22:36 +0000) | ||
| commit | d86eefac7dff521eb2589b6f2dcb8a1b361be186 | |
| tree | ace0f3088c923a67dc5f818fc2344c4c6c85bfe8 | tree | snapshot |
| parent | 164e0005e806f5c995817cd0a494429ebac508d9 | commit | diff |
| helm/software/matita/nlibrary/Plogic/connectives.ma | diff | blob | history |