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>
	Fri, 27 Sep 2019 13:45:22 +0000 (15:45 +0200)
commit	8d12e0e41b9c6100f126d390f26cedcadadc4347
tree	b75cfcaa9b0afee184d275b975301c0f5611dbbc	tree \| snapshot
parent	25742360ab2c748d6023e130d62a2fb16d2013ad	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