]>
author | Andrea Asperti <andrea.asperti@unibo.it> | |
Mon, 4 Jun 2012 08:31:30 +0000 (08:31 +0000) | ||
committer | Andrea Asperti <andrea.asperti@unibo.it> | |
Mon, 4 Jun 2012 08:31:30 +0000 (08:31 +0000) | ||
commit | dd882e640319d8117644986cc0e824d1d3156c5e | |
tree | 1607e9898d21c276a1165ab8a2f318cd18f88bcd | tree | snapshot |
parent | 482f39fc4f8e1b9cdca50cb0e072bdece36b271a | commit | diff |
matita/matita/lib/turing/mono.ma | diff | blob | history |