]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6ebe894) | patch
Appl case in is_really_smaller fixed as in the old kernel
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 18 Apr 2008 13:59:17 +0000 (13:59 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 18 Apr 2008 13:59:17 +0000 (13:59 +0000)
commitd50309307c1dc85341759a020d7052b4a1d025b3
tree81bb81f5a20cb7961d04801c7a89ae866ae40625tree | snapshot
parent6ebe894ff0fee5d99bad615ce053128292657deecommit | diff
Appl case in is_really_smaller fixed as in the old kernel
helm/software/components/ng_kernel/nCicTypeChecker.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.