]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2af96fc) | patch
NotEq is now considered as a negative Eq atom
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 19 May 2009 14:34:01 +0000 (14:34 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 19 May 2009 14:34:01 +0000 (14:34 +0000)
commitc43c06062d86bb62bd259537f18aa587699aad9c
treeefd672732379031387e889578842b77a6e400cf0tree | snapshot
parent2af96fc83e36af5270b1181864855791ed38fbb8commit | diff
NotEq is now considered as a negative Eq atom
helm/software/components/tptp_grafite/tptp2grafite.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.