matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Enrico Tassi <enrico.tassi@inria.fr>
	Fri, 30 May 2008 09:17:02 +0000 (09:17 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Fri, 30 May 2008 09:17:02 +0000 (09:17 +0000)
commit	57ed1abc0fddb7644c396e15dd13600eef1f928f
tree	58439f6d52b3cc61a0db7c6217290f9b40564651	tree \| snapshot
parent	7168611756f3a4c5793cbe978805bb2e93c66cdc	commit \| diff

thanks to the fact that we convert well typed term and that
we convert only types, by inversion we know that types of lambdas
source are convertible if in head position

helm/software/components/extlib/hExtlib.ml		diff \| blob \| history
helm/software/components/extlib/hExtlib.mli		diff \| blob \| history
helm/software/components/ng_kernel/nCicReduction.ml		diff \| blob \| history

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

RSS Atom