]>
author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Mon, 4 Sep 2006 14:46:00 +0000 (14:46 +0000) | ||
committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Mon, 4 Sep 2006 14:46:00 +0000 (14:46 +0000) | ||
commit | 2f5d3cf6e4d80433f5dc4057a4997361c1bfc553 | |
tree | ee123547a3cbfb31ee3af26cd59bb8b8b2170cbc | tree | snapshot |
parent | f45affb2ac7e6c1b35350642f8028ca48a781fbe | commit | diff |
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/ext/preamble.ma | diff | blob | history |