projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Thu, 17 Nov 2005 16:13:57 +0000 (16:13 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Thu, 17 Nov 2005 16:13:57 +0000 (16:13 +0000) | ||
| commit | 252fbb53c9d41d5d3f94bd9656adde26cd603ae3 | |
| tree | 58db4f798684d991863c8c74757ffeae22593efd | tree | snapshot |
| parent | 2a1845d8553ee753ad3b82901840900cba738a5e | commit | diff |
| helm/ocaml/tactics/proofEngineStructuralRules.ml | diff | blob | history | |
| helm/ocaml/tactics/proofEngineStructuralRules.mli | diff | blob | history |