]> matita.cs.unibo.it Git - helm.git/commit
prod moved under lambda-prolog unification case
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 30 May 2008 10:28:13 +0000 (10:28 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 30 May 2008 10:28:13 +0000 (10:28 +0000)
commit20c47f607c279c480743954fc0ba305fcb3ed645
tree5bb8dac9ae4855b4b3602259e76b7e94a02d1377
parent5381c04b3298d905239dd0cb0550025a674b433a
prod moved under lambda-prolog unification case
helm/software/components/cic_unification/cicUnification.ml