matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 959b04d) | patch

author	Enrico Tassi <enrico.tassi@inria.fr>
	Thu, 21 Sep 2006 16:01:04 +0000 (16:01 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Thu, 21 Sep 2006 16:01:04 +0000 (16:01 +0000)
commit	61acdea2419b3889096fd1e41275062b78253af0
tree	5bb554a8d7d3c9a54c2d6b1d672b196e7fb37930	tree \| snapshot
parent	959b04de5aac3ce6994a468cda20b0c198ebe579	commit \| diff

auto snapshot

18 files changed:

components/cic/discrimination_tree.ml		diff \| blob \| history
components/cic/discrimination_tree.mli		diff \| blob \| history
components/tactics/.depend		diff \| blob \| history
components/tactics/Makefile		diff \| blob \| history
components/tactics/auto.ml	[new file with mode: 0644]	blob
components/tactics/auto.mli	[new file with mode: 0644]	blob
components/tactics/autoTactic.ml		diff \| blob \| history
components/tactics/autoTypes.ml	[new file with mode: 0644]	blob
components/tactics/autoTypes.mli	[new file with mode: 0644]	blob
components/tactics/paramodulation/equality.ml		diff \| blob \| history
components/tactics/paramodulation/equality_indexing.ml		diff \| blob \| history
components/tactics/paramodulation/equality_indexing.mli		diff \| blob \| history
components/tactics/paramodulation/indexing.mli		diff \| blob \| history
components/tactics/paramodulation/inference.ml		diff \| blob \| history
components/tactics/paramodulation/inference.mli		diff \| blob \| history
components/tactics/paramodulation/saturation.ml		diff \| blob \| history
components/tactics/paramodulation/saturation.mli		diff \| blob \| history
matita/library/nat/factorization.ma		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.