projects / coinductive-monad.git / commit
| author | adam <adam@megacz.com> | |
| Tue, 2 Oct 2007 15:38:45 +0000 (15:38 +0000) | ||
| committer | adam <adam@megacz.com> | |
| Tue, 2 Oct 2007 15:38:45 +0000 (15:38 +0000) | ||
| commit | f32b158060d2be2811e5ba058756c7dc3fb71672 | |
| tree | 9b6a0af1c5c5b14d48a2904dfdd8c0262614120a | tree | snapshot |
| parent | ad8905d391e4e2015b6525a81a3b5e1ad607439e | commit | diff |
| Computation/Equivalence.v | [new file with mode: 0644] | blob |
| Makefile | diff | blob | history |