]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a5d5a70) | patch
- new given_clause
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 15 May 2006 14:54:35 +0000 (14:54 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 15 May 2006 14:54:35 +0000 (14:54 +0000)
commit2d242b51687938075e568d360b93f83a4b0a1ce9
tree1d066e74b7998964c39eaec8eae0844353626fbetree | snapshot
parenta5d5a70aaeaa34345bde25bef012a0189a3fe7e9commit | diff
- new given_clause
- support for a set of goals in OR
- restored superposition_left (even if not called)
components/tactics/paramodulation/equality.ml diff | blob | history
components/tactics/paramodulation/indexing.ml diff | blob | history
components/tactics/paramodulation/indexing.mli diff | blob | history
components/tactics/paramodulation/saturation.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.