]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5ee4e9d) | patch
New version of auto with "width".
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 6 Dec 2004 12:16:07 +0000 (12:16 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 6 Dec 2004 12:16:07 +0000 (12:16 +0000)
commit118c6bda722a65bf13b09efaa25ee391f2955dae
tree098ab8ae80477a253fbc1deb5aa190166cde6286tree | snapshot
parent5ee4e9d9fbff19b7937459c5ad4652542ac1ccb8commit | diff
New version of auto with "width".
helm/ocaml/tactics/autoTactic.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.