]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cf4da27) | patch
First implementation of irrelevance in conversion.
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 15 May 2008 16:09:43 +0000 (16:09 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 15 May 2008 16:09:43 +0000 (16:09 +0000)
commit5ae174c1243ae83ceeda6f2641d12565842d250f
tree84296a12c7299f73f94bc624f11cfb27306098fetree | snapshot
parentcf4da27b865107f9b89f3d2726f14d6e2694c548commit | diff
First implementation of irrelevance in conversion.
helm/software/components/ng_kernel/nCicReduction.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.