]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 69d5ccf) | patch
(no commit message)
authorAndrea Asperti <andrea.asperti@unibo.it>
Thu, 7 Feb 2013 09:13:27 +0000 (09:13 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Thu, 7 Feb 2013 09:13:27 +0000 (09:13 +0000)
commit068e5a10f78798a3cbadb8aeed16b2c0d1f1d871
treec116a9701938d47c54968cc070684808dcf26e37tree | snapshot
parent69d5ccfff20e1001735c102239fb40912eb8360ecommit | diff
matita/matita/lib/turing/simple_machines.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.