]>
author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Fri, 20 Jan 2006 17:59:43 +0000 (17:59 +0000) | ||
committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Fri, 20 Jan 2006 17:59:43 +0000 (17:59 +0000) | ||
commit | 812e565e94b0e926c48614127d0672c4e04e2ce7 | |
tree | ce0a376c463fa18d9e4a514fb216e0f95d8c351e | tree | snapshot |
parent | 6db12650bceb071d9b5ea8f882613a98bd6df79b | commit | diff |
helm/matita/tests/simpl.ma | diff | blob | history | |
helm/ocaml/tactics/proofEngineReduction.ml | diff | blob | history |