projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 12 Dec 2011 23:53:16 +0000 (23:53 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 12 Dec 2011 23:53:16 +0000 (23:53 +0000) | ||
| commit | c2f420fb8220d6a3ea4b4b5fc9f686c8bc40984c | |
| tree | 1eb368bc94c7c16597f1b5cbda626a0af719cea6 | tree | snapshot |
| parent | f4ebfe340aee37d1a2eb92706c1220b3294c8840 | commit | diff |
| matita/matita/lib/basics/types.ma | diff | blob | history |