projects / coq-hetmet.git / commit
| author | Adam Megacz <megacz@cs.berkeley.edu> | |
| Sat, 26 Mar 2011 07:01:32 +0000 (00:01 -0700) | ||
| committer | Adam Megacz <megacz@cs.berkeley.edu> | |
| Sat, 26 Mar 2011 07:01:32 +0000 (00:01 -0700) | ||
| commit | f60f9ed58ad2ea12fd293dfbcc015c3ffb827a20 | |
| tree | 72fbf8367f10a77356866df5c1fa5224c2a115a3 | tree | snapshot |
| parent | 8cb97991a95d5761a28ca94767b8fe637d1411d9 | commit | diff |
| src/General.v | diff | blob | history |