]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9f67f3d) | patch
More info to refine empty types elimination.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 17 Jul 2009 19:28:48 +0000 (19:28 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 17 Jul 2009 19:28:48 +0000 (19:28 +0000)
commit24c5f3d919918175b6380f47cf9613ee4bd7af80
tree3ee5b3b239e071a8bd5f9a9db64e1f548fa4f7cctree | snapshot
parent9f67f3dfb57bfd93716d1fa9e18a179911a7bf33commit | diff
More info to refine empty types elimination.
helm/software/components/ng_tactics/nCicElim.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.