projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Thu, 5 Apr 2001 14:46:12 +0000 (14:46 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Thu, 5 Apr 2001 14:46:12 +0000 (14:46 +0000) | ||
| commit | c5d44ddea495d6f20c05267e0ebd158972a21987 | |
| tree | c9357ca83cda18102296b670d83cdf893a635f1c | tree | snapshot |
| parent | 5d47f034e238123419deac34b530c18fb9540681 | commit | diff |
| helm/style/basic.xsl | diff | blob | history | |
| helm/style/inductive.xsl | diff | blob | history | |
| helm/style/proofs.xsl | diff | blob | history |