]>
author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Thu, 17 Nov 2005 16:15:29 +0000 (16:15 +0000) | ||
committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Thu, 17 Nov 2005 16:15:29 +0000 (16:15 +0000) | ||
commit | dfbf84276e3183c190a6c7a59689324dccbaa6dc | |
tree | 23da549e419efb59d0f71eb294373d76945145ee | tree | snapshot |
parent | 252fbb53c9d41d5d3f94bd9656adde26cd603ae3 | commit | diff |
helm/matita/tests/rewrite.ma | diff | blob | history | |
helm/ocaml/tactics/equalityTactics.ml | diff | blob | history |