projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 16 Jul 2007 22:20:08 +0000 (22:20 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 16 Jul 2007 22:20:08 +0000 (22:20 +0000) | ||
| commit | 754906e075ef350423de1e7fd3a7ac71bea53848 | |
| tree | 869e6b86b8a2ce7fd0285820a5c7a6ce586da96d | tree | snapshot |
| parent | 7fe420b959c50f9be603ae9e42a5f87451a1a922 | commit | diff |
| matita/library/assembly/exadecimal.ma | diff | blob | history |