]> matita.cs.unibo.it Git - helm.git/commit
meta VS meta in alpha_eq honors substitution
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 16 May 2008 13:23:50 +0000 (13:23 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 16 May 2008 13:23:50 +0000 (13:23 +0000)
commit24787f3d652537ec233f78bfa41a9230e7fa2f85
treecd1ccaceeed291339685e5b06b92fe6bd7e38d1b
parent18c6034717c91fda434f47a0aa3b16001e1dd352
meta VS meta in alpha_eq honors substitution
helm/software/components/ng_kernel/nCicReduction.ml