]>
author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Thu, 30 Nov 2006 22:11:48 +0000 (22:11 +0000) | ||
committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Thu, 30 Nov 2006 22:11:48 +0000 (22:11 +0000) | ||
commit | 4d23367f20acec9c043c6b81b660ea65ff6f155e | |
tree | 9c956c2984a8c66d919ceefd8c3f0ccdeca61e01 | tree | snapshot |
parent | 45d8e093b732768f58794dc3169e2980257dc7d3 | commit | diff |
helm/software/matita/help/C/declarative_tactics_quickref.xml | [new file with mode: 0644] | blob |
helm/software/matita/help/C/tactics_quickref.xml | [new file with mode: 0644] | blob |