]> matita.cs.unibo.it Git - helm.git/commit
moved hard coded uris to HelmLibraryObjects
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 22 Jan 2004 10:33:10 +0000 (10:33 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 22 Jan 2004 10:33:10 +0000 (10:33 +0000)
commit17f33fa8cb65de1f3edcba6ac750bbdb4d061117
tree26e7edab55ceb5bc0def5eb9a131ebe0601d838f
parentb9043c364f2bd5a851c497eb75fc217518385a78
moved hard coded uris to HelmLibraryObjects
helm/ocaml/tactics/discriminationTactics.ml
helm/ocaml/tactics/equalityTactics.ml
helm/ocaml/tactics/fourierR.ml
helm/ocaml/tactics/proofEngineHelpers.ml
helm/ocaml/tactics/proofEngineHelpers.mli
helm/ocaml/tactics/ring.ml
helm/ocaml/tactics/tacticals.ml