]>
author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Wed, 11 Jan 2006 11:26:28 +0000 (11:26 +0000) | ||
committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Wed, 11 Jan 2006 11:26:28 +0000 (11:26 +0000) | ||
commit | 552bdad5b59b096af0e0bbefc660e5f8b0d6c2ec | |
tree | 515eba838d3ff6f5571864b72a3e6028659c9c5a | tree | snapshot |
parent | da59a744767c799ad287489c55f2ff972f93d93c | commit | diff |
helm/matita/tests/inversion2.ma | diff | blob | history |