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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 4 Mar 2016 13:39:02 +0000 (13:39 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 4 Mar 2016 13:39:02 +0000 (13:39 +0000)
commit	ad3d1cac216cf3882e4adf691b27c00838c6b9b1
tree	ef5fcad590ce81165f2eb36421ed26fcbd8f63b1	tree \| snapshot
parent	b9526dac808d40bf89dc378cf9c5ea0c121526a4	commit \| diff

rtmap (platform-indepent multple relocation): application and composition

29 files changed:

matita/matita/contribs/lambdadelta/ground_2/etc/relocation/complement_1.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/etc/relocation/isuniform_1.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/etc/relocation/norm_1.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/etc/relocation/runion_3.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/lib/streams_hdtl.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/functions/complement_1.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/functions/droppred_1.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/notation/functions/droppreds_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/notation/functions/drops_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/notation/functions/norm_1.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/relations/isuniform_1.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/relations/rintersection_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/notation/relations/runion_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_after.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_eq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_istot.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_after.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_at.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_isid.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_istot.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_minus.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_tl.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_tls.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/web/ground_2.ldw.xml		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/web/ground_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/ynat/ynat_pred.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/ynat/ynat_succ.ma		diff \| blob \| history
matita/matita/predefined_virtuals.ml		diff \| blob \| history

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

RSS Atom