matita.cs.unibo.it Git - helm.git/commit - matita/matita/contribs/lambda/xoa_notation.ma

]> matita.cs.unibo.it Git - helm.git/commit - matita/matita/contribs/lambda/xoa_notation.ma

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 23cb3f6) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 23 Nov 2012 22:19:23 +0000 (22:19 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 23 Nov 2012 22:19:23 +0000 (22:19 +0000)
commit	f8bc120b39bd74ade4e11d4d3ef4355f66c42495
tree	22250b2f1653b5f92388f12b813c2661208d5038	tree \| snapshot
parent	23cb3f65221975cb1a096d5287e4a620118eb2c0	commit \| diff

additions in lift.ma ....

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