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>
	Thu, 3 May 2018 11:34:08 +0000 (13:34 +0200)
committer	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Thu, 3 May 2018 11:34:08 +0000 (13:34 +0200)
commit	a77d0bd6a04e94f765d329d47b37d9e04d349b14
tree	3b15077811b7bf058b8a22983f4d1e937e97d6d0	tree \| snapshot
parent	b598b37379baabef24ae511596be7f740cbb0c2e	commit \| diff

notational update in lambdadelta completed

+ minor improvements

36 files changed:

matita/matita/contribs/lambdadelta/alpha_1/syntax/term_append.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/notation/models/downspoon_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/web/apps_2.ldw.xml		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_cnx_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_csx_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/gcp_cr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/append.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/append_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/term_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/etc/lib/list2_append.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/etc/lib/oplus_4.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/lib/list.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/lib/list2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/lib/streams.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/lib/streams_eq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/lib/streams_hdtl.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/lib/streams_tls.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/constructors/oplusright_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/functions/append_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/functions/downspoon_1.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/functions/downspoon_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/notation/functions/downspoonstar_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/functions/downspoonstar_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/relocation/mr2_at.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/mr2_minus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/mr2_plus.ma		diff \| 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_coafter.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_isid.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_istot.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/web/ground_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/partial.txt		diff \| blob \| history

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

RSS Atom