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: 1a59067) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 13 Nov 2017 17:09:16 +0000 (17:09 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 13 Nov 2017 17:09:16 +0000 (17:09 +0000)
commit	bc40346f09bcccb9a09560963ccb7157ebfad7ad
tree	03d9aa16138b9e3d6a336fe4b67cb0902437b940	tree \| snapshot
parent	1a590671c8e8551b01a6831843a22c9485d90511	commit \| diff

- lsubsx (replacement of lcosx) completed
- minor updates

12 files changed:

matita/matita/contribs/lambdadelta/basic_2/notation/relations/clear_3.ml	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/cosn_5.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/lsubeqx_6.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lcosx.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lcosx_cpx.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfpxs_etc.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfsx_csx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lsubsx.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lsubsx_lfsx.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lsubsx_lsubsx.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/partial.txt		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history

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