]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d4c4624) | patch
id ;-) and lapply patched
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 5 Jul 2005 10:14:07 +0000 (10:14 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 5 Jul 2005 10:14:07 +0000 (10:14 +0000)
commite9e3089b886e88a07267743cae79d6a9cabdd3c3
tree1d2af8dce90b73edb2fac786028062baaba475fbtree | snapshot
parentd4c4624f1d083e4ebcba6c276e6caa1972b627dccommit | diff
id ;-) and lapply patched
helm/ocaml/tactics/fwdSimplTactic.ml diff | blob | history
helm/ocaml/tactics/tacticals.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.