]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ef5e2e1) | patch
used the new metadataConstraint function to retrieve equalities from the library
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 27 Jun 2006 16:53:48 +0000 (16:53 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 27 Jun 2006 16:53:48 +0000 (16:53 +0000)
commitf27a3e2fa6aee86ef255842b51bdfa8a92a99ce5
treedc928f7ef6d410db41e46ed1b03ffc78afe4bee8tree | snapshot
parentef5e2e1726e24e4523ee28ead5d7796498192692commit | diff
used the new metadataConstraint function to retrieve equalities from the library
components/tactics/paramodulation/inference.ml diff | blob | history
components/tactics/paramodulation/inference.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.