]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f2d0f4e) | patch
Bug fixed: refinement of mutual recursive definitions used to invert the
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 8 May 2009 21:20:22 +0000 (21:20 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 8 May 2009 21:20:22 +0000 (21:20 +0000)
commit9e30dacbcdb10a58d6cf8f3995d1a195f2b31f4b
tree9da96557d34ba9f0d5a1aa9dda74d20893840a13tree | snapshot
parentf2d0f4e55ea0f3a953982bee62d9ad98876e4aa8commit | diff
Bug fixed: refinement of mutual recursive definitions used to invert the
definitions.
helm/software/components/ng_refiner/nCicRefiner.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.