]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a508078) | patch
progress
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 4 May 2012 12:04:18 +0000 (12:04 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 4 May 2012 12:04:18 +0000 (12:04 +0000)
commite8e9d469448b132ef50325d901a688581efbc971
tree86a3add44afee7ad5fd765c311f5adc7afee8f51tree | snapshot
parenta508078b3985ad932ac6cf24455d7360b6ab594ecommit | diff
progress
matita/matita/lib/turing/while_machine.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.