]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b838509) | patch
comments
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 4 Jun 2012 06:35:09 +0000 (06:35 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 4 Jun 2012 06:35:09 +0000 (06:35 +0000)
commit482f39fc4f8e1b9cdca50cb0e072bdece36b271a
tree273fd2208794050b17e46c643d724eb42f4621detree | snapshot
parentb838509c1e64e80a584c11221abcc956e3919641commit | diff
comments
matita/matita/lib/turing/mono.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.