]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4a27fc5) | patch
pattern_of function reimplemented. Now it takes a term and a list of subterms
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 1 Jul 2005 13:05:51 +0000 (13:05 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 1 Jul 2005 13:05:51 +0000 (13:05 +0000)
commitc5b08eb60c8ede80fad4f44abd8439cef9b339c1
treeb48e8f6ff732c6b5fc01648e5adeab6ec887d674tree | snapshot
parent4a27fc5e71ee2a0848e938342acdc08c3a0d821fcommit | diff
pattern_of function reimplemented. Now it takes a term and a list of subterms
and it returns the _minimal_ pattern for the subterms in the term.
helm/ocaml/tactics/proofEngineHelpers.ml diff | blob | history
helm/ocaml/tactics/proofEngineHelpers.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.