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

author	Enrico Tassi <enrico.tassi@inria.fr>
	Thu, 9 Jul 2009 21:53:50 +0000 (21:53 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Thu, 9 Jul 2009 21:53:50 +0000 (21:53 +0000)
commit	72cd94b68037956a70b98cfa54f316fd54e52bae
tree	d23aac4f66c83daf7c2d47db0ba93f9ba33faa28	tree \| snapshot
parent	b6afef7e73324824025a6d7f313129d55b72cfc6	commit \| diff

initial implementation of `ncoercion name : type := body on name : pat to pat`

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