projects / coq-hetmet.git / commit
| author | Adam Megacz <megacz@cs.berkeley.edu> | |
| Sat, 19 Mar 2011 23:23:03 +0000 (16:23 -0700) | ||
| committer | Adam Megacz <megacz@cs.berkeley.edu> | |
| Sat, 19 Mar 2011 23:23:03 +0000 (16:23 -0700) | ||
| commit | 17ed8145b371ce578db7fdd67aced8dd2013e623 | |
| tree | 820b5263f1db1c78d8c441e0ab13977d4a40f845 | tree | snapshot |
| parent | 4359342db4052c77b802ce256856df71387e7a62 | commit | diff |
| examples/tutorial.hs | diff | blob | history | |
| src/HaskProofToStrong.v | diff | blob | history |