]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4803b34) | patch
Inductive definitions are now interpreted (but records are not interpreted yet).
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 28 Apr 2009 23:35:27 +0000 (23:35 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 28 Apr 2009 23:35:27 +0000 (23:35 +0000)
commit6b3242efcd29ea188ef09b445985abb06c5fad3a
treec3acfcce7a74149638f024a3bd493c8f68d84d89tree | snapshot
parent4803b343f52b716c80eed945fa12d7075399df1bcommit | diff
Inductive definitions are now interpreted (but records are not interpreted yet).
helm/software/components/ng_disambiguation/nCicDisambiguate.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.