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

author	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Fri, 13 Jul 2018 15:34:46 +0000 (17:34 +0200)
committer	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Fri, 13 Jul 2018 15:34:46 +0000 (17:34 +0200)
commit	cc6fcb70ca4f3cf01205ed722d75a2fdb2aaf779
tree	ff05e9f3c71e0a27f411ffd2d4d64ae87d53becf	tree \| snapshot
parent	41b61472d2c475e0f69e3dfc85539da3ad2bac1e	commit \| diff

update in static_2 and app_2

+ term model started
+ functional relocation reactivated
+ some renaming

34 files changed:

matita/matita/contribs/lambdadelta/apps_2/etc/functional/notation.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/apps_2/etc/functional/rtm.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/apps_2/etc/functional/rtm_step.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/apps_2/etc/models/model_ext.etc		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/functional/flifts.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/apps_2/functional/flifts_basic.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/apps_2/functional/lift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/apps_2/functional/notation.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/apps_2/functional/rtm.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/apps_2/functional/rtm_step.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/apps_2/models/deq_cpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/models/li.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/models/model_props.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/models/model_vlift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/apps_2/models/model_vpush.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/apps_2/models/tm.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/apps_2/models/tm_exteq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/apps_2/models/tm_props.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/apps_2/models/veq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/models/veq_lifts.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/models/vlifts.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/apps_2/models/vlifts_shift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/apps_2/models/vpushs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/apps_2/models/vpushs_fold.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/apps_2/notation/functional/uparrow_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/apps_2/notation/functional/uparrow_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/apps_2/notation/models/dotteduparrow_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/apps_2/notation/models/dotteduparrow_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/apps_2/web/apps_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/partial.txt		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/lifts.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/fold.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/syntax/shift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/static_2/web/static_2_src.tbl		diff \| blob \| history

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

RSS Atom