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: 9ed13b9) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 10 May 2014 18:35:27 +0000 (18:35 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 10 May 2014 18:35:27 +0000 (18:35 +0000)
commit	a0d25627e80a3a2fe68da954b68f6d541c6dbc34
tree	0159df95d032b70e13784dd18ac2a509c99149c5	tree \| snapshot
parent	9ed13b93cd1d7d75d65f1f063b6b4bf27d863f72	commit \| diff

advances on cofrees

matita/matita/contribs/lambdadelta/basic_2/etc/llpx_sn_alt2.etc		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/cofrees.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/cofrees_lift.ma		diff \| blob \| history

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