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

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

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: f86ab15) | patch

author	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Wed, 9 May 2018 18:10:36 +0000 (20:10 +0200)
committer	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Wed, 9 May 2018 18:10:36 +0000 (20:10 +0200)
commit	e880d6eab5e1700f4a625ddcd7d0fa8f0cce2dcc
tree	cbedd3dc8289f8ea0cb99c841e0bb23f16193928	tree \| snapshot
parent	f86ab1580e0bab7f8cada3cc7ffdf80f40e3de9a	commit \| diff

update in groud_2 and models

+ denotation is preserved by r-transition
+ minor additions

13 files changed:

matita/matita/contribs/lambdadelta/apps_2/etc/models/model_cpr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/apps_2/models/deq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/models/deq_cpr.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/apps_2/models/model_gi.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/apps_2/models/model_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/veq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/notation/models/ringeq_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/apps_2/notation/models/ringeq_5.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/basic_2/rt_transition/cpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_after.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/steps/rtc_max.ma		diff \| blob \| history

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