]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e7439fb) | patch
Added a new version of meta_convertibnility that returns the
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 28 May 2007 13:18:32 +0000 (13:18 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 28 May 2007 13:18:32 +0000 (13:18 +0000)
commit9ae997cc107e7cacfe3ee62c316361257f3832d4
tree379edde937287b2dd1b0a6c1af93f9409a46912etree | snapshot
parente7439fbd8ae444812c50e32862e92438cc7ae9c2commit | diff
Added a new version of meta_convertibnility that returns the
variant substitution.
components/tactics/paramodulation/equality.ml diff | blob | history
components/tactics/paramodulation/equality.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.