projects / coq-hetmet.git / commit
| author | Adam Megacz <megacz@cs.berkeley.edu> | |
| Mon, 21 Mar 2011 22:14:15 +0000 (15:14 -0700) | ||
| committer | Adam Megacz <megacz@cs.berkeley.edu> | |
| Mon, 21 Mar 2011 22:14:15 +0000 (15:14 -0700) | ||
| commit | 32436fdf380f7f2efc7a70896268509e7b3e0d6f | |
| tree | d8f88341eec9fcbb72e62907014833c79fe05d0a | tree | snapshot |
| parent | 76f4613eaa5989e29bfd59d716c216ee5386c5f7 | commit | diff |
| src/General.v | diff | blob | history |