projects / coq-categories.git / commit
| author | Adam Megacz <adam@megacz.com> | |
| Sun, 27 Mar 2011 19:22:12 +0000 (12:22 -0700) | ||
| committer | Adam Megacz <adam@megacz.com> | |
| Sun, 27 Mar 2011 19:22:12 +0000 (12:22 -0700) | ||
| commit | 758bf2a48a733870dca601e5b03390d4271ad1c7 | |
| tree | 5a04546669f9378045ed207de3ce102ebc1c5920 | tree | snapshot |
| parent | cc0b4696c2cfc23bdff6ded347478510ccf014c9 | commit | diff |
| src/RepresentableStructure_ch7_2.v | diff | blob | history |