]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d78fbf3) | patch
auto snapshot
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 21 Sep 2006 16:01:04 +0000 (16:01 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 21 Sep 2006 16:01:04 +0000 (16:01 +0000)
commitbeb4e1e9549d5b43e24907dc86c7ef899e487a3c
treef5f63dde27d2f97e06f8c393308a63978c5be5e4tree | snapshot
parentd78fbf3cface8f01d11f385757cbf47ae1866326commit | diff
auto snapshot
18 files changed:
helm/software/components/cic/discrimination_tree.ml diff | blob | history
helm/software/components/cic/discrimination_tree.mli diff | blob | history
helm/software/components/tactics/.depend diff | blob | history
helm/software/components/tactics/Makefile diff | blob | history
helm/software/components/tactics/auto.ml [new file with mode: 0644] blob
helm/software/components/tactics/auto.mli [new file with mode: 0644] blob
helm/software/components/tactics/autoTactic.ml diff | blob | history
helm/software/components/tactics/autoTypes.ml [new file with mode: 0644] blob
helm/software/components/tactics/autoTypes.mli [new file with mode: 0644] blob
helm/software/components/tactics/paramodulation/equality.ml diff | blob | history
helm/software/components/tactics/paramodulation/equality_indexing.ml diff | blob | history
helm/software/components/tactics/paramodulation/equality_indexing.mli diff | blob | history
helm/software/components/tactics/paramodulation/indexing.mli diff | blob | history
helm/software/components/tactics/paramodulation/inference.ml diff | blob | history
helm/software/components/tactics/paramodulation/inference.mli diff | blob | history
helm/software/components/tactics/paramodulation/saturation.ml diff | blob | history
helm/software/components/tactics/paramodulation/saturation.mli diff | blob | history
helm/software/matita/library/nat/factorization.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.