]> matita.cs.unibo.it Git - helm.git/commit - helm/software/components/ng_paramodulation/superposition.ml
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3a4481e) | patch
Added a new keep_simplified function
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 12 Jun 2009 12:33:45 +0000 (12:33 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 12 Jun 2009 12:33:45 +0000 (12:33 +0000)
commitb7587a7dd68463086e8a6b7c14f10c1dc33f64ba
tree2e0ff77263b4e2edc6850eb7f6ce829f5e0bb8c3tree | snapshot
parent3a4481e963c6b6e78ad1dce05d75bea992ceaaedcommit | diff
Added a new keep_simplified function
helm/software/components/ng_paramodulation/superposition.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.