]>
author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Sun, 4 Nov 2007 17:26:29 +0000 (17:26 +0000) | ||
committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Sun, 4 Nov 2007 17:26:29 +0000 (17:26 +0000) | ||
commit | 26980e0c5d2114b38cc3794d5aa2748278485ed2 | |
tree | c9f677d3ec56d81b7ac451e3bed783b09a1a66c0 | tree | snapshot |
parent | b617e876fb237d885e1160c7fb1c6f392017d7ec | commit | diff |
matita/matitacLib.ml | diff | blob | history |