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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 2 Mar 2016 21:32:00 +0000 (21:32 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 2 Mar 2016 21:32:00 +0000 (21:32 +0000)
commit	b9526dac808d40bf89dc378cf9c5ea0c121526a4
tree	bdb6ca9dc748de40efc7eaf73893ada682f5c81d	tree \| snapshot
parent	91ab6965be539b7ed0f3208e1c1fffd17aa151f7	commit \| diff

- second precommit for rtmap
- we park relocation by streams of booleans

30 files changed:

matita/matita/contribs/lambdadelta/ground_2/etc/relocation/rtmap_le.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/etc/relocation/trace.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/etc/relocation/trace_after.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/etc/relocation/trace_at.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/etc/relocation/trace_isid.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/etc/relocation/trace_isun.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/etc/relocation/trace_sle.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/etc/relocation/trace_snot.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/etc/relocation/trace_sor.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/notation/functions/drop_1.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_istot.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_lift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_after.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_at.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_eq.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	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_tl.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/relocation/trace.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/trace_after.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/trace_at.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/trace_isid.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/trace_isun.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/trace_sle.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/trace_snot.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/trace_sor.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/web/ground_2_src.tbl		diff \| blob \| history

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

RSS Atom