]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 990530d) | patch
reverse_complexity lib restored
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 28 Dec 2018 15:25:21 +0000 (16:25 +0100)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 27 Sep 2019 13:47:37 +0000 (15:47 +0200)
commitb8e8c61042dd7d4d8bc00971e1ebcd6858064682
tree8722a7ffa8644ee9e465e61625ecfaddc521477etree | snapshot
parent990530d17001326448884ea9bdd0d756af9280d9commit | diff
reverse_complexity lib restored

the toolkit.ma file contains errors. I have
commented out a few places
20 files changed:
matita/matita/broken_lib/reverse_complexity/big_O.ma [deleted file] blob | history
matita/matita/broken_lib/reverse_complexity/gap.ma [deleted file] blob | history
matita/matita/broken_lib/reverse_complexity/hierarchy.ma [deleted file] blob | history
matita/matita/broken_lib/reverse_complexity/speed_clean.ma [deleted file] blob | history
matita/matita/broken_lib/reverse_complexity/speed_def.ma [deleted file] blob | history
matita/matita/broken_lib/reverse_complexity/speed_new.ma [deleted file] blob | history
matita/matita/broken_lib/reverse_complexity/toolkit.ma [deleted file] blob | history
matita/matita/lib/reverse_complexity/almost.ma [new file with mode: 0644] blob
matita/matita/lib/reverse_complexity/basics.ma [new file with mode: 0644] blob
matita/matita/lib/reverse_complexity/big_O.ma [new file with mode: 0644] blob
matita/matita/lib/reverse_complexity/bigops_compl.ma [new file with mode: 0644] blob
matita/matita/lib/reverse_complexity/complexity.ma [new file with mode: 0644] blob
matita/matita/lib/reverse_complexity/gap.ma [new file with mode: 0644] blob
matita/matita/lib/reverse_complexity/hierarchy.ma [new file with mode: 0644] blob
matita/matita/lib/reverse_complexity/sigma_diseq.ma [new file with mode: 0644] blob
matita/matita/lib/reverse_complexity/speed_clean.ma [new file with mode: 0644] blob
matita/matita/lib/reverse_complexity/speed_def.ma [new file with mode: 0644] blob
matita/matita/lib/reverse_complexity/speed_new.ma [new file with mode: 0644] blob
matita/matita/lib/reverse_complexity/speedup.ma [new file with mode: 0644] blob
matita/matita/lib/reverse_complexity/toolkit.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.