]>
author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
Fri, 14 Sep 2007 11:31:29 +0000 (11:31 +0000) | ||
committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
Fri, 14 Sep 2007 11:31:29 +0000 (11:31 +0000) | ||
commit | cb470e4313da839b8081eed7307d84f6741a87e6 | |
tree | fe453cb56c748f8a6365a60be566ce1c8104f4f1 | tree | snapshot |
parent | d7bcde6c0abcd0a18cfc34c3b8c12a0bba0edd36 | commit | diff |
matita/contribs/LOGIC/preamble.ma | diff | blob | history |