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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 17 May 2022 15:51:39 +0000 (17:51 +0200)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 17 May 2022 15:51:39 +0000 (17:51 +0200)
commit	dfcad1c1a698bac1b7fb6a5f59393b28f45182af
tree	4194ef44921c149d7e729ae903b1b69219861c26	tree \| snapshot
parent	d59f1c74c62ad3706d50707bb68758d88fbed006	commit \| diff

update in delayed_updating

+ generic unwind for path
+ some old files parked

66 files changed:

matita/matita/contribs/lambdadelta/delayed_updating/etc/black_downtriangle_4.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/delayed_updating/etc/lift1/lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/delayed_updating/etc/lift1/lift_after.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/delayed_updating/etc/lift1/lift_constructors.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/delayed_updating/etc/lift1/lift_eq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/delayed_updating/etc/lift1/lift_length.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/delayed_updating/etc/lift1/lift_prototerm.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/delayed_updating/etc/lift1/lift_prototerm_eq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/delayed_updating/etc/lift1/lift_structure.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/delayed_updating/etc/lift1/lift_uni.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/delayed_updating/etc/unwind0/unwind1_path.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/delayed_updating/etc/unwind0/unwind1_path_structure.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/delayed_updating/etc/unwind0/unwind1_rmap.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/delayed_updating/etc/unwind0/unwind1_rmap_eq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/delayed_updating/etc/unwind0/unwind2_path.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/delayed_updating/etc/unwind0/unwind2_path_structure.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/delayed_updating/etc/unwind0/unwind2_rmap.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/delayed_updating/etc/unwind0/unwind2_rmap_eq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/delayed_updating/etc/unwind3/lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/etc/unwind3/lift_after.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/etc/unwind3/lift_constructors.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/etc/unwind3/lift_eq.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/etc/unwind3/lift_id.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/etc/unwind3/lift_prototerm.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/etc/unwind3/lift_prototerm_eq.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/etc/unwind3/lift_prototerm_id.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/etc/unwind3/lift_uni.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/notation/functions/black_diamond_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/delayed_updating/notation/functions/black_downtriangle_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/substitution/lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/substitution/lift_after.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/substitution/lift_constructors.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/substitution/lift_eq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/substitution/lift_id.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/delayed_updating/substitution/lift_length.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/substitution/lift_prototerm_eq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/substitution/lift_prototerm_id.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/delayed_updating/substitution/lift_structure.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/substitution/lift_uni.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/syntax/path_depth_labels.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/delayed_updating/syntax/path_head.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/delayed_updating/syntax/path_head_depth.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/delayed_updating/syntax/path_height_labels.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/delayed_updating/syntax/path_tail.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/syntax/path_tail_depth.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/unwind/nap.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/delayed_updating/unwind/unwind1_rmap.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/unwind/unwind1_rmap_tail.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/unwind/unwind2_rmap.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/delayed_updating/unwind/unwind2_rmap_eq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/delayed_updating/unwind/unwind2_rmap_head.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/delayed_updating/unwind/unwind2_rmap_labels.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/delayed_updating/unwind/unwind2_rmap_structure.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/delayed_updating/unwind/unwind_gen.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/delayed_updating/unwind/unwind_gen_after.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/delayed_updating/unwind/unwind_gen_eq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/delayed_updating/unwind/unwind_gen_structure.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/delayed_updating/unwind0/unwind1_path.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/unwind0/unwind1_path_structure.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/unwind0/unwind1_rmap.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/unwind0/unwind1_rmap_eq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/unwind0/unwind2_path.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/unwind0/unwind2_path_structure.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/unwind0/unwind2_rmap.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/unwind0/unwind2_rmap_eq.ma	[deleted file]	blob \| history
matita/matita/predefined_virtuals.ml		diff \| blob \| history

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

RSS Atom