]>
author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Sat, 20 Jan 2007 15:29:51 +0000 (15:29 +0000) | ||
committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Sat, 20 Jan 2007 15:29:51 +0000 (15:29 +0000) | ||
commit | 876455a152c9c4d6b1afcdfbee392210b2ec6b90 | |
tree | 267b3229ea6fef91991606eed832a01f167e4932 | tree | snapshot |
parent | 1716dfe9afab861ad742a434e83e3bcad259dec4 | commit | diff |
matita/matitaEngine.ml | diff | blob | history | |
matita/matitaEngine.mli | diff | blob | history |