]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 482f39f) | patch
notation
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 4 Jun 2012 08:31:30 +0000 (08:31 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 4 Jun 2012 08:31:30 +0000 (08:31 +0000)
commitdd882e640319d8117644986cc0e824d1d3156c5e
tree1607e9898d21c276a1165ab8a2f318cd18f88bcdtree | snapshot
parent482f39fc4f8e1b9cdca50cb0e072bdece36b271acommit | diff
notation
matita/matita/lib/turing/mono.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.