]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b4afece) | patch
minor changes here and there. We extend fo-unification with
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 4 Jun 2009 10:19:04 +0000 (10:19 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 4 Jun 2009 10:19:04 +0000 (10:19 +0000)
commit1f80b6362bf8a9311c2eb1f7d270f363956b5969
tree7137e1a998e95f02e7eb5bc5843868bbcc868a36tree | snapshot
parentb4afece869ffd5e87bd9faca6f1bad765ae5756dcommit | diff
minor changes here and there. We extend fo-unification with
(X ...) =?= (f ...) --> X := f
helm/software/components/ng_paramodulation/founif.ml diff | blob | history
helm/software/components/ng_paramodulation/subst.ml diff | blob | history
helm/software/components/ng_paramodulation/subst.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.