projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 2 Apr 2007 11:20:44 +0000 (11:20 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 2 Apr 2007 11:20:44 +0000 (11:20 +0000) | ||
| commit | ccd879c23e341fe287f8fd1078c4cef459cf24f5 | |
| tree | 01763dbeb50459a0d74e3654ea72b3e36d3511d1 | tree | snapshot |
| parent | 631ef9768bce3958ca275cb7e5f0ff2de8e5e2a1 | commit | diff |
| helm/software/matita/library/technicalities/setoids.ma | diff | blob | history | |
| helm/software/matita/tests/pirrel.ma | [new file with mode: 0644] | blob |