]> matita.cs.unibo.it Git - helm.git/commit
progress
authorAndrea Asperti <andrea.asperti@unibo.it>
Wed, 2 May 2012 12:00:00 +0000 (12:00 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Wed, 2 May 2012 12:00:00 +0000 (12:00 +0000)
commit6cbe0bef53c6d61ecf619ed379bc73251cb0bc77
tree90009cc18aa5ece3290142fae26b6032c881719d
parent346e1c6dc1fd23139ea51fa826105fc93c454754
progress
-
matita/matita/lib/turing/while_machine.ma