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 | 24271ddeeb5b5d508b411605a852f8fe1de2f32b | |
| tree | f9b3b99690f3b87bf14eb74f2f0e9a5f70bfd11b | tree | snapshot |
| parent | 876455a152c9c4d6b1afcdfbee392210b2ec6b90 | commit | diff |
| matita/applyTransformation.ml | diff | blob | history | |
| matita/applyTransformation.mli | diff | blob | history |