]> matita.cs.unibo.it Git - helm.git/commit - helm/software/components/ng_paramodulation/orderings.ml
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3dadfa5) | patch
Comparison of two applications with a different number of arguments not
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 16 Mar 2010 17:57:49 +0000 (17:57 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 16 Mar 2010 17:57:49 +0000 (17:57 +0000)
commit509151febaf7817e5b6ac4bd22a3d9ffa1d9a1be
treeb2aa1a4aef1d23c20aff0c109ef0b07951fc5e63tree | snapshot
parent3dadfa509ace9184e5cf33a46d44c48c6fbed31bcommit | diff
Comparison of two applications with a different number of arguments not
implemented yet.
helm/software/components/ng_paramodulation/orderings.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.