]> matita.cs.unibo.it Git - helm.git/commit
Exported apply_subst_context
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 13 Nov 2009 14:44:48 +0000 (14:44 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 13 Nov 2009 14:44:48 +0000 (14:44 +0000)
commitc6c248e635ef35e9515ed981374ce2a0cef30e62
tree8db99e5b25b874e66805b52f284138fcc9c3279a
parente97c74e4d17e6fc0ce7c39b092f3214244ae21d1
Exported apply_subst_context
helm/software/components/ng_kernel/nCicUntrusted.mli