]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 05b38c5) | patch
the passive set and passive list are expected to have the same cardinality, that...
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 6 Nov 2008 09:39:29 +0000 (09:39 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 6 Nov 2008 09:39:29 +0000 (09:39 +0000)
commit0e3324ad8e6a552ee89f02371412f7bc2e83379f
tree7e61a55e2b35d9dadf3f5d28a89605e7221f1815tree | snapshot
parent05b38c588708726f48288227221a8b706544b0a7commit | diff
the passive set and passive list are expected to have the same cardinality, that was was some bad reason not always the case
helm/software/components/tactics/paramodulation/saturation.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.