]>
author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Wed, 27 Feb 2013 20:19:28 +0000 (20:19 +0000) | ||
committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Wed, 27 Feb 2013 20:19:28 +0000 (20:19 +0000) | ||
commit | d655ee5d9a4c4dc99c559556fb494c549574b1ce | |
tree | 145fcae03d6ce1da6b784e1e9cec21be62804ddd | tree | snapshot |
parent | 6640fe3db217790d39fd9bf772b0b9fe5170786c | commit | diff |
matita/matita/matitaEngine.ml | diff | blob | history |