]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c8b567c) | patch
use prop_only to filter instead of repeting the same function body
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 28 Oct 2009 13:30:38 +0000 (13:30 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 28 Oct 2009 13:30:38 +0000 (13:30 +0000)
commitb880d8ac3206602be68919dd93038e607ae08550
treefd4bd1ece1ee7efc949d78dd294e3c19d62f67b0tree | snapshot
parentc8b567cf0317fb30a907444b11866121416168e1commit | diff
use prop_only to filter instead of repeting the same function body
helm/software/components/ng_tactics/nAuto.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.