projects / helm.git / commit
| author | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Mon, 14 Nov 2011 15:09:07 +0000 (15:09 +0000) | ||
| committer | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Mon, 14 Nov 2011 15:09:07 +0000 (15:09 +0000) | ||
| commit | 085cf66f8385f8cbc269c38ca7c7572d09e4810e | |
| tree | 0dd6195239557a5ae4664bded19742bd19d46a09 | tree | snapshot |
| parent | d6578d33463c053073c6dab75728ca318717e1de | commit | diff |
| matita/components/ng_tactics/nInversion.ml | diff | blob | history | |
| matita/components/ng_tactics/nTactics.ml | diff | blob | history |