]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dd5a5cf) | patch
New function get_relevance and new (not exported) function get_checked_decl.
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 15 May 2008 16:09:17 +0000 (16:09 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 15 May 2008 16:09:17 +0000 (16:09 +0000)
commitcf4da27b865107f9b89f3d2726f14d6e2694c548
treed1743d9894e7fc8c4f856cf8b95c60274e420b38tree | snapshot
parentdd5a5cfcb19e3ef5059dbb2d777a6f147dd556a6commit | diff
New function get_relevance and new (not exported) function get_checked_decl.
helm/software/components/ng_kernel/nCicEnvironment.ml diff | blob | history
helm/software/components/ng_kernel/nCicEnvironment.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.