projects / coq-hetmet.git / commit
| author | Adam Megacz <megacz@cs.berkeley.edu> | |
| Fri, 24 Jun 2011 11:24:47 +0000 (04:24 -0700) | ||
| committer | Adam Megacz <megacz@cs.berkeley.edu> | |
| Fri, 24 Jun 2011 11:24:47 +0000 (04:24 -0700) | ||
| commit | 1c04ba6aca5e5ce92bd1a9537c334a0103d96465 | |
| tree | c5a6973b2a9f5f1899900b6a8616341087b23b21 | tree | snapshot |
| parent | e3c18fcb881ce6af59003fa5888b1e0fb16b66a5 | commit | diff |
| src/General.v | diff | blob | history |