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: 397413c) | patch

author	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Wed, 25 Apr 2018 11:25:19 +0000 (13:25 +0200)
committer	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Wed, 25 Apr 2018 11:25:19 +0000 (13:25 +0200)
commit	54c4e854515cbcb1376881e9aedad006bf6545f2
tree	295498ade8934da1d9e228d2cf0ce1629bb6c952	tree \| snapshot
parent	397413c4196f84c81d61ba7dd79b54ab1c428ebb	commit \| diff

update in ground_2 and basic_2

+ old and unused definition llstar replaced with new definition ltc to appear in cpms

12 files changed:

matita/matita/contribs/lambdadelta/basic_2/etc/drops/drops_lstar.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_ctc.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_lstar.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/lib/functions.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/lib/logic.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/lib/lstar.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/lib/ltc.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/lib/relations.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/web/ground_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa/xoa_props.ma	[deleted file]	blob \| history

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