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: 756e320) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 31 May 2016 19:06:53 +0000 (19:06 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 31 May 2016 19:06:53 +0000 (19:06 +0000)
commit	d64b4238ec803353f0a06f2aad25c173852b0526
tree	55081b9a9ef3cd24620956333e2f93fa94380a11	tree \| snapshot
parent	756e320c149ae141dffbf5d75202c8e46c4a49b9	commit \| diff

frees_drops, initial versrion

13 files changed:

matita/matita/contribs/lambdadelta/basic_2/relocation/drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_lifts.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lfpx_drops.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lfpx_frees.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lpx_drop.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lpx_frees.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/frees_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_coafter.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_isfin.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_sor.ma		diff \| blob \| history

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