projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Sat, 20 Jan 2007 15:30:26 +0000 (15:30 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Sat, 20 Jan 2007 15:30:26 +0000 (15:30 +0000) | ||
| commit | 6cd1c2d533b21e0a0e2a66ddd23db3ec92012025 | |
| tree | e839ba88f8f56eea25280bf45616c3a6701e3880 | tree | snapshot |
| parent | 3cdf3d1d9e2ee3c12931c2af5c2daf1b0e73a310 | commit | diff |
| helm/software/matita/applyTransformation.ml | diff | blob | history | |
| helm/software/matita/applyTransformation.mli | diff | blob | history |