]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 91332d8) | patch
Added a passive table
authorAndrea Asperti <andrea.asperti@unibo.it>
Thu, 30 Apr 2009 13:03:25 +0000 (13:03 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Thu, 30 Apr 2009 13:03:25 +0000 (13:03 +0000)
commitda3031c3a830df0aaab4f57b63689a1b20d7ab89
treedc6a78891d2e434744cb45044d0943013a31bce8tree | snapshot
parent91332d82ed5c852a36eb2da15f977bb43aa78c72commit | diff
Added a passive table
helm/software/components/tactics/paramodulation/saturation.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.