matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Wed, 26 Dec 2018 15:09:34 +0000 (16:09 +0100)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Wed, 26 Dec 2018 15:09:34 +0000 (16:09 +0100)
commit	2e481fd54d89b2a48f6f38f9562125136aa41d83
tree	fb40b2692251c5cfb56544674bec94ab90e56d59	tree \| snapshot
parent	a9aedc8ea5cadf6be0cb9f1417dd55b6fd7a9156	commit \| diff

Broken libs moved to broken_lib

Some can probably be restored with some love.

34 files changed:

matita/matita/broken_lib/binding/db.ma	[new file with mode: 0644]	blob
matita/matita/broken_lib/binding/fp.ma	[new file with mode: 0644]	blob
matita/matita/broken_lib/binding/ln.ma	[new file with mode: 0644]	blob
matita/matita/broken_lib/binding/ln_concrete.ma	[new file with mode: 0644]	blob
matita/matita/broken_lib/binding/names.ma	[new file with mode: 0644]	blob
matita/matita/broken_lib/finite_lambda/confluence.ma	[new file with mode: 0644]	blob
matita/matita/broken_lib/finite_lambda/reduction.ma	[new file with mode: 0644]	blob
matita/matita/broken_lib/finite_lambda/terms_and_types.ma	[new file with mode: 0644]	blob
matita/matita/broken_lib/finite_lambda/typing.ma	[new file with mode: 0644]	blob
matita/matita/broken_lib/reverse_complexity/big_O.ma	[new file with mode: 0644]	blob
matita/matita/broken_lib/reverse_complexity/gap.ma	[new file with mode: 0644]	blob
matita/matita/broken_lib/reverse_complexity/hierarchy.ma	[new file with mode: 0644]	blob
matita/matita/broken_lib/reverse_complexity/speed_clean.ma	[new file with mode: 0644]	blob
matita/matita/broken_lib/reverse_complexity/speed_def.ma	[new file with mode: 0644]	blob
matita/matita/broken_lib/reverse_complexity/speed_new.ma	[new file with mode: 0644]	blob
matita/matita/broken_lib/reverse_complexity/toolkit.ma	[new file with mode: 0644]	blob
matita/matita/broken_lib/turing/multi_to_mono/multi_to_mono.ma	[new file with mode: 0644]	blob
matita/matita/lib/binding/db.ma	[deleted file]	blob \| history
matita/matita/lib/binding/fp.ma	[deleted file]	blob \| history
matita/matita/lib/binding/ln.ma	[deleted file]	blob \| history
matita/matita/lib/binding/ln_concrete.ma	[deleted file]	blob \| history
matita/matita/lib/binding/names.ma	[deleted file]	blob \| history
matita/matita/lib/finite_lambda/confluence.ma	[deleted file]	blob \| history
matita/matita/lib/finite_lambda/reduction.ma	[deleted file]	blob \| history
matita/matita/lib/finite_lambda/terms_and_types.ma	[deleted file]	blob \| history
matita/matita/lib/finite_lambda/typing.ma	[deleted file]	blob \| history
matita/matita/lib/reverse_complexity/big_O.ma	[deleted file]	blob \| history
matita/matita/lib/reverse_complexity/gap.ma	[deleted file]	blob \| history
matita/matita/lib/reverse_complexity/hierarchy.ma	[deleted file]	blob \| history
matita/matita/lib/reverse_complexity/speed_clean.ma	[deleted file]	blob \| history
matita/matita/lib/reverse_complexity/speed_def.ma	[deleted file]	blob \| history
matita/matita/lib/reverse_complexity/speed_new.ma	[deleted file]	blob \| history
matita/matita/lib/reverse_complexity/toolkit.ma	[deleted file]	blob \| history
matita/matita/lib/turing/multi_to_mono/multi_to_mono.ma	[deleted file]	blob \| history

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom