]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 26b754b) | patch
lefts_ad_tys properly sorted, added some metasenv here and there,
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 7 Apr 2008 11:57:33 +0000 (11:57 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 7 Apr 2008 11:57:33 +0000 (11:57 +0000)
commit9dac09ff867a3ec6298c85df95579b199da54d27
tree51ae73c72f9f7ca3e9f916098c5eb606009d4093tree | snapshot
parent26b754bcd3763fd7624637adab0635edefa1168fcommit | diff
lefts_ad_tys properly sorted, added some metasenv here and there,
recursive args defined in case of appl
helm/software/components/ng_kernel/nCicTypeChecker.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.