]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ac1f50b) | patch
hopefully fixed cases implementation
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 2 Apr 2007 11:20:22 +0000 (11:20 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 2 Apr 2007 11:20:22 +0000 (11:20 +0000)
commit631ef9768bce3958ca275cb7e5f0ff2de8e5e2a1
treebaf88927b6ded9021216e2a365742f6d382298c9tree | snapshot
parentac1f50b898154dc3d74aa8fa2fff212a7d3a235ccommit | diff
hopefully fixed cases implementation
helm/software/components/tactics/primitiveTactics.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.