projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Wed, 2 May 2012 12:00:00 +0000 (12:00 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Wed, 2 May 2012 12:00:00 +0000 (12:00 +0000) | ||
| commit | 6cbe0bef53c6d61ecf619ed379bc73251cb0bc77 | |
| tree | 90009cc18aa5ece3290142fae26b6032c881719d | tree | snapshot |
| parent | 346e1c6dc1fd23139ea51fa826105fc93c454754 | commit | diff |
| matita/matita/lib/turing/while_machine.ma | diff | blob | history |