]> matita.cs.unibo.it Git - helm.git/commit
snapshot
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 9 Jun 2009 15:09:42 +0000 (15:09 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 9 Jun 2009 15:09:42 +0000 (15:09 +0000)
commit01b628fc79155f545b283c1d095d8a2ffe00e0a1
treef512a404509d13819f6f209e0588cac16f97343a
parent91a8f448fdf99c40e2a4eb97d8e1a58552e91f1d
snapshot
helm/software/components/ng_paramodulation/foSubst.ml
helm/software/components/ng_paramodulation/foUtils.ml
helm/software/components/ng_paramodulation/foUtils.mli
helm/software/components/ng_paramodulation/nCicBlob.ml
helm/software/components/ng_paramodulation/paramod.ml
helm/software/components/ng_paramodulation/superposition.ml
helm/software/matita/tests/paratest.ma