projects / coq-categories.git / commit
| author | Adam Megacz <adam@megacz.com> | |
| Mon, 21 Mar 2011 01:53:02 +0000 (18:53 -0700) | ||
| committer | Adam Megacz <adam@megacz.com> | |
| Mon, 21 Mar 2011 01:53:02 +0000 (18:53 -0700) | ||
| commit | 707c30ea7a5452b335ad62a4749486fd2598e43e | |
| tree | e87ce8803801b0b0cdf687f4781f2eeb8bcf0a25 | tree | snapshot |
| parent | ff3003c261295c60d367580b6700396102eb5a9c | commit | diff |
| src/General.v- | [moved from src/General.v with 100% similarity] | blob | history |
| src/Preamble.v- | [moved from src/Preamble.v with 100% similarity] | blob | history |