]> matita.cs.unibo.it Git - helm.git/commit
auto snapshot
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 27 Sep 2006 16:20:40 +0000 (16:20 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 27 Sep 2006 16:20:40 +0000 (16:20 +0000)
commit041ad23b567b9844ec187ad436595868441802f4
treee70ee715350cb919024f437e6977b312ac382ce7
parentb396fcf2d604ed9b9952217539ff69e2f5fff3c5
auto snapshot
22 files changed:
helm/software/components/cic/discrimination_tree.ml
helm/software/components/tactics/.depend
helm/software/components/tactics/auto.ml
helm/software/components/tactics/auto.mli
helm/software/components/tactics/autoTactic.ml
helm/software/components/tactics/autoTactic.mli
helm/software/components/tactics/autoTypes.ml
helm/software/components/tactics/autoTypes.mli
helm/software/components/tactics/metadataQuery.ml
helm/software/components/tactics/paramodulation/equality.ml
helm/software/components/tactics/paramodulation/equality.mli
helm/software/components/tactics/paramodulation/indexing.ml
helm/software/components/tactics/paramodulation/indexing.mli
helm/software/components/tactics/paramodulation/inference.ml
helm/software/components/tactics/paramodulation/inference.mli
helm/software/components/tactics/paramodulation/saturation.ml
helm/software/components/tactics/paramodulation/saturation.mli
helm/software/components/tactics/paramodulation/utils.ml
helm/software/components/tactics/primitiveTactics.ml
helm/software/components/tactics/primitiveTactics.mli
helm/software/components/tactics/tactics.ml
helm/software/components/tactics/tactics.mli