]> matita.cs.unibo.it Git - helm.git/commit
snapshot of queries for auto+paramod
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 21 Sep 2006 16:00:31 +0000 (16:00 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 21 Sep 2006 16:00:31 +0000 (16:00 +0000)
commitd78fbf3cface8f01d11f385757cbf47ae1866326
tree01cf3f45087203586f5455c22e7c0b73195098ff
parent437246a8e84268383a2f53f76442d811af3e8056
snapshot of queries for auto+paramod
helm/software/components/metadata/metadataConstraints.ml
helm/software/components/tactics/metadataQuery.ml
helm/software/components/tactics/metadataQuery.mli