]> matita.cs.unibo.it Git - helm.git/commit
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
tree1607e9898d21c276a1165ab8a2f318cd18f88bcd
parent482f39fc4f8e1b9cdca50cb0e072bdece36b271a
notation
matita/matita/lib/turing/mono.ma