]> matita.cs.unibo.it Git - helm.git/commit
Porting URIs to V8.0.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 24 Feb 2004 15:07:38 +0000 (15:07 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 24 Feb 2004 15:07:38 +0000 (15:07 +0000)
commitd0593639fe811c06577b39dc62fb5c2734246fc8
tree74cff4afae3c1b7c2606ec1a8cac53ba97430719
parentb3bfd6b249600b15552c890306a635aee30c2a74
Porting URIs to V8.0.
helm/ocaml/cic/helmLibraryObjects.ml
helm/ocaml/cic_disambiguation/arit_notation.ml
helm/ocaml/cic_disambiguation/logic_notation.ml
helm/ocaml/tactics/discriminationTactics.ml
helm/ocaml/tactics/ring.ml