]> 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)
commite3f6d410ebe780d1b26a0bcf982ef900a94e95a7
tree0ea993a7ad68dc3ef504cc620a895ef1efc8881c
parentbebc33696f0b972154bf1db45b0f32e78b10c0f1
auto snapshot
22 files changed:
components/cic/discrimination_tree.ml
components/tactics/.depend
components/tactics/auto.ml
components/tactics/auto.mli
components/tactics/autoTactic.ml
components/tactics/autoTactic.mli
components/tactics/autoTypes.ml
components/tactics/autoTypes.mli
components/tactics/metadataQuery.ml
components/tactics/paramodulation/equality.ml
components/tactics/paramodulation/equality.mli
components/tactics/paramodulation/indexing.ml
components/tactics/paramodulation/indexing.mli
components/tactics/paramodulation/inference.ml
components/tactics/paramodulation/inference.mli
components/tactics/paramodulation/saturation.ml
components/tactics/paramodulation/saturation.mli
components/tactics/paramodulation/utils.ml
components/tactics/primitiveTactics.ml
components/tactics/primitiveTactics.mli
components/tactics/tactics.ml
components/tactics/tactics.mli