]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5930f13) | patch
Adding file newConstraint
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 10 May 2004 09:43:55 +0000 (09:43 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 10 May 2004 09:43:55 +0000 (09:43 +0000)
commit90a88a05bb66c0e14a95d54929a4b545c8f2a36c
tree4893d6f37cf8ac4a65207666d4fbfff4d6196c42tree | snapshot
parent5930f13b2d863abbff240ffa985bcc064c7a5ab8commit | diff
Adding file newConstraint
The file contains functions for computing prefixes and related
stuff, required by the new management of matching.
helm/ocaml/tactics/newConstraints.ml [new file with mode: 0644] blob
helm/ocaml/tactics/newConstraints.mli [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.