projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Mon, 1 Jul 2002 20:10:54 +0000 (20:10 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Mon, 1 Jul 2002 20:10:54 +0000 (20:10 +0000) | ||
| commit | 7e94ade9e36f123a555a7727be1e0ae722841426 | |
| tree | 122cbf77cecd0ad6ff586df47d831059df347777 | tree | snapshot |
| parent | dec50888f98015c937283acc14e2ffceccc04a11 | commit | diff |
| helm/gTopLevel/proofEngineReduction.ml | diff | blob | history |