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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 6 Nov 2022 18:21:23 +0000 (19:21 +0100)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 6 Nov 2022 18:21:23 +0000 (19:21 +0100)
commit	df1bcd1387439133c0c33f597a5f8b2331c07772
tree	af51bf9540d57d06ed7486977f50d0190fbf1c9e	tree \| snapshot
parent	119da3f9ce130f7c4e8b23fcc491d221472ad657	commit \| diff

update in delayed_updating

+ core reduction parked
+ paths of one repeated label resumed

28 files changed:

matita/matita/contribs/lambdadelta/delayed_updating/etc/core_reduction/black_rightarrow_df_3.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/delayed_updating/etc/core_reduction/black_rightarrow_if_3.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/delayed_updating/etc/core_reduction/dfr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/delayed_updating/etc/core_reduction/dfr_ifr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/delayed_updating/etc/core_reduction/dfr_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/delayed_updating/etc/core_reduction/ifr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/delayed_updating/etc/core_reduction/ifr_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/delayed_updating/etc/core_reduction/ifr_unwind.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/delayed_updating/etc/head/path_depth_labels.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/etc/head/path_height_labels.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/etc/head/path_labels.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/etc/head/path_structure_labels.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/etc/head/power_2.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/etc/head/unwind2_rmap_labels.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/etc/height/path_height_labels.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/delayed_updating/etc/labels/path_depth_labels.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/delayed_updating/etc/labels/path_structure_labels.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/delayed_updating/etc/labels/unwind2_rmap_labels.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/delayed_updating/notation/functions/power_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/delayed_updating/notation/relations/black_rightarrow_df_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/notation/relations/black_rightarrow_if_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/reduction/dfr.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/reduction/dfr_ifr.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/reduction/dfr_lift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/reduction/ifr.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/reduction/ifr_lift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/reduction/ifr_unwind.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/delayed_updating/syntax/path_labels.ma	[new file with mode: 0644]	blob

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

RSS Atom