]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6332719) | patch
Fixed inversion, which was broken by the last changes in the refiner.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 25 Nov 2009 13:34:55 +0000 (13:34 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 25 Nov 2009 13:34:55 +0000 (13:34 +0000)
commit18ff03b9480b4cc3fec155db743b37f3a4675509
treeb3b988778643a1c60ece9594cb6fd08400369fbatree | snapshot
parent6332719f74f68beb0501e03f8e8aa6a5e0a78aedcommit | diff
Fixed inversion, which was broken by the last changes in the refiner.
helm/software/components/ng_tactics/nInversion.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.