projects / helm.git / commit
| author | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Wed, 2 May 2012 15:45:10 +0000 (15:45 +0000) | ||
| committer | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Wed, 2 May 2012 15:45:10 +0000 (15:45 +0000) | ||
| commit | bac659e05589042f9a39235550c97b3406b56c55 | |
| tree | 03fc9e8973649a69bac1c65c33074ccd84c3ad9b | tree | snapshot |
| parent | 12360095db4ceb504b68cc2a369cef123ccf40a5 | commit | diff |
| matita/matita/lib/turing/while_machine.ma | diff | blob | history |