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

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

author	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Wed, 11 Jul 2018 10:54:33 +0000 (12:54 +0200)
committer	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Wed, 11 Jul 2018 10:54:33 +0000 (12:54 +0200)
commit	41b61472d2c475e0f69e3dfc85539da3ad2bac1e
tree	5ab34e50a1f4bcdd1b543a2f4a459b92bfcbff49	tree \| snapshot
parent	ff612dc35167ec0c145864c9aa8ae5e1ebe20a48	commit \| diff

update in static_2 and app_2

+ advances on the support for models
+ tentative definition of shift (incomplete because unary binders are missing in terms)
+ minor updates and corrections

37 files changed:

helm/www/lambdadelta/download/lambda_talk_1s.pdf	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/Makefile		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/etc/models/downspoon_3.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/apps_2/etc/models/model_ext.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/apps_2/etc/models/model_gi.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/apps_2/etc/models/model_valign.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/apps_2/etc/models/uparrow_3.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/apps_2/etc/models/upspoon_3.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/apps_2/etc/models/valign.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/apps_2/etc/models/vdrop.etc		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/etc/models/vdrop_old.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/apps_2/etc/models/vdrop_vlift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/apps_2/etc/models/veq_li.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/apps_2/etc/models/veq_vdrop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/apps_2/models/deq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/models/deq_cpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/models/li.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/apps_2/models/model.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/models/model_gi.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/apps_2/models/model_li.ma	[deleted file]	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		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/models/vdrop.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/apps_2/models/vdrop_vlift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/apps_2/models/veq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/models/veq_li.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/apps_2/models/veq_lifts.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/models/veq_vdrop.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/apps_2/models/vlifts.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/apps_2/models/vlifts_shift.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/apps_2/notation/models/downspoon_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/apps_2/notation/models/roplus_5.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/apps_2/notation/models/upspoon_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/apps_2/web/apps_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/shift.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/web/static_2_src.tbl		diff \| blob \| history
matita/matita/predefined_virtuals.ml		diff \| blob \| history

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

RSS Atom