projects / helm.git / commit
| author | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Thu, 3 May 2012 16:13:27 +0000 (16:13 +0000) | ||
| committer | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Thu, 3 May 2012 16:13:27 +0000 (16:13 +0000) | ||
| commit | f464217340074c5a81e4bda91814abb0611a02e0 | |
| tree | 2b9fb32dabde76fe7cbd07c560064a63ae31fbe0 | tree | snapshot |
| parent | f8d439221f776979c62409c12ca223cfdf91c584 | commit | diff |
| matita/matita/lib/turing/mono.ma | diff | blob | history | |
| matita/matita/lib/turing/while_machine.ma | diff | blob | history |