]> matita.cs.unibo.it Git - helm.git/commit
reverse complexity
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 3 May 2013 06:51:37 +0000 (06:51 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 3 May 2013 06:51:37 +0000 (06:51 +0000)
commit73428212ec1db9ea1559994f88cd02894a2c9478
treed92a3d24cee10a4168abf926e07306bff153ffbe
parent672a914acebcd726740a0771de163d92c5eb7c72
reverse complexity
matita/matita/lib/reverse_complexity/hierarchy.ma [new file with mode: 0644]