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: 2474004) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 18 Sep 2011 21:31:37 +0000 (21:31 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 18 Sep 2011 21:31:37 +0000 (21:31 +0000)
commit	85d772f5c3d5c86bbb474ba7ab4a259dc06687f9
tree	ce55aac077b5037aa08ceadc589976aa6ad739e3	tree \| snapshot
parent	2474004a0121023f37f7656289938e307b0272e7	commit \| diff

some improvements about the partial unfold on terms (tpss)

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