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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 1 May 2018 16:34:07 +0000 (18:34 +0200)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 1 May 2018 16:34:07 +0000 (18:34 +0200)
commit	c52e807a10cac88866b61fa458936dc5c0f5ee70
tree	480a1c15b15aee716b00e4fcf296062d9ac2ee3d	tree \| snapshot
parent	5a0d5df90ad4096c4d7bdc50ce69cf8673ea6e57	commit \| diff

update in models and ground_2

+ model declaration completed
+ compatibility with veq, first results
+ some old files moved in etc for now

13 files changed:

matita/matita/contribs/lambdadelta/apps_2/etc/models/model.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/apps_2/etc/models/model_cpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/apps_2/etc/models/model_drop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/apps_2/etc/models/model_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/apps_2/etc/models/model_lower.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/apps_2/etc/models/model_nlift.etc	[new file with mode: 0644]	blob
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/models/veq_li.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/apps_2/notation/models/downspoon_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/ground_2/lib/functions.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/lib/relations.ma		diff \| blob \| history

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