]> matita.cs.unibo.it Git - helm.git/commit - matita/matita/lib/reverse_complexity/hierarchy.ma
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 672a914) | patch
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
treed92a3d24cee10a4168abf926e07306bff153ffbetree | snapshot
parent672a914acebcd726740a0771de163d92c5eb7c72commit | diff
reverse complexity
matita/matita/lib/reverse_complexity/hierarchy.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.