]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c941692) | 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, 28 Dec 2018 15:25:21 +0000 (16:25 +0100)
commit9c0398174ebfa6b483dbdd5c10e8b15e39067329
treeeb1629c736cb2d67c92062ac3850c6081ec1e99ctree | snapshot
parentc941692a63115547a358f89e54183ea39cf128a7commit | 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.