]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 52100c5) | 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)
commit4313889a915eb0df74bc047f89a7316c8cf4e19c
tree0d5f5a0693914ec1279c3215a70c1ef7cb54f6c8tree | snapshot
parent52100c501bb50273660c4f4c7d92e87a90fa68a9commit | diff
used the new metadataConstraint function to retrieve equalities from the library
helm/software/components/tactics/paramodulation/inference.ml diff | blob | history
helm/software/components/tactics/paramodulation/inference.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.