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

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

author	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Fri, 25 May 2018 14:39:04 +0000 (16:39 +0200)
committer	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Fri, 25 May 2018 14:39:04 +0000 (16:39 +0200)
commit	6b35f96790b871aa06b22045b4e8e8dd7bba6590
tree	5c3adece9edd649f8383c64d2a65fce34d7d6aff	tree \| snapshot
parent	05b047be6817f430c8c72fd9b0902df8bb9f579e	commit \| diff

partial update update in basic_2

+ lpxs reconstructed

41 files changed:

matita/matita/contribs/lambdadelta/basic_2/etc/cpxs/cpxs_fqus.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lfpxs/lfpxs_cpxs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lfpxs/lfpxs_lreq.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lpx_sn/lpx_sn_tc.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpxs/lpxs_lreq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/referred/lfpxs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/referred/lfpxs_aaa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/referred/lfpxs_cpxs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/referred/lfpxs_drops.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/referred/lfpxs_ffdeq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/referred/lfpxs_fqup.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/referred/lfpxs_length.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/referred/lfpxs_lfdeq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/referred/lfpxs_lfpxs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/referred/lfpxs_lpxs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/referred/predtysnstar_5.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predsnstar_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predsnstar_5.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predtysnstar_5.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lex_tc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfpxs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfpxs_aaa.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfpxs_cpxs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfpxs_drops.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfpxs_ffdeq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfpxs_fqup.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfpxs_length.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfpxs_lfdeq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfpxs_lfpxs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfpxs_lpxs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lpxs_aaa.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lpxs_cpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lpxs_drops.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lpxs_ffdeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lpxs_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lpxs_lfdeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lpxs_lpx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lpxs_lpxs.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.

RSS Atom