Say Core instead of core.
authorMatthijs Kooijman <matthijs@stdin.nl>
Tue, 8 Dec 2009 17:15:56 +0000 (18:15 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Tue, 8 Dec 2009 17:16:11 +0000 (18:16 +0100)
commit14ba857230ddd3bed3e9fbdde81ad2f693488493
tree51d95faf9427e8602fac5f45e5faad4bf87bdc1b
parent391f3ab5a3e21567b1b1b62b1c7ed47fcdb40886
Say Core instead of core.
Chapters/Normalization.tex
Chapters/Prototype.tex
Outline