projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Sun, 31 Dec 2006 14:49:11 +0000 (14:49 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Sun, 31 Dec 2006 14:49:11 +0000 (14:49 +0000) | ||
| commit | b00485292ea4aa35013415903c1a87a952eb21ad | |
| tree | 80af8f811e8d517d4aa9525f0dba888865bc058f | tree | snapshot |
| parent | 7fcfa15407b0214118dca815898c8aec63e24355 | commit | diff |
| helm/software/matita/tests/dependent_injection.ma | diff | blob | history | |
| helm/software/matita/tests/fguidi.ma | diff | blob | history | |
| helm/software/matita/tests/record.ma | diff | blob | history |