projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 26 Sep 2007 17:35:28 +0000 (17:35 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 26 Sep 2007 17:35:28 +0000 (17:35 +0000) | ||
| commit | ed89b51673624e80ae63c3086245cd8deb86c110 | |
| tree | e18935506f7f0aadcff095db39b24b54db902d9a | tree | snapshot |
| parent | 4d3fcebb0b24901b69f54d0eaf067885a80dcae0 | commit | diff |
| matita/contribs/LOGIC/PRed/defs.ma | diff | blob | history | |
| matita/contribs/LOGIC/Track/pred.ma | diff | blob | history | |
| matita/contribs/LOGIC/Weight/defs.ma | [new file with mode: 0644] | blob |