projects / helm.git / commit
| author | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Mon, 16 Jul 2007 13:07:53 +0000 (13:07 +0000) | ||
| committer | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Mon, 16 Jul 2007 13:07:53 +0000 (13:07 +0000) | ||
| commit | 637fe25e110cc5ffbc4da502e74db2704660c381 | |
| tree | de311cceecf2a5bf36136257164a4a2db65592e0 | tree | snapshot |
| parent | 56a75c83e13cc9d5b04c37fc8a7c3c9d998f748c | commit | diff |
| matita/library/assembly/assembly.ma | diff | blob | history |