]>
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 |