]> matita.cs.unibo.it Git - helm.git/commit - helm/ocaml/tactics/tactics.ml
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 70b1922) | patch
bugfix: demodulate_tac is in module Saturation
authorAndrea Asperti <andrea.asperti@unibo.it>
Wed, 25 Jan 2006 08:25:38 +0000 (08:25 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Wed, 25 Jan 2006 08:25:38 +0000 (08:25 +0000)
commit91af0f7726bcfcd72229f19c239eabfda4532347
treed45959e00af9f21e5550ce47c490de6579917695tree | snapshot
parent70b192226bf8165c3c8b12c13c47a3828d685eeecommit | diff
bugfix: demodulate_tac is in module Saturation
helm/ocaml/tactics/tactics.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.