Remove unused defref.
authorMatthijs Kooijman <matthijs@stdin.nl>
Sat, 5 Dec 2009 21:03:25 +0000 (22:03 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Sat, 5 Dec 2009 21:03:25 +0000 (22:03 +0100)
commita4cfdaa1ccacc0dcf9a374bb202b247b8f28dccb
tree44e15424743efd3d8f9359bde8e2c166d0a6b9d7
parent012e0c8c3060033b9695b5d545e9d1182a527991
Remove unused defref.
Chapters/Normalization.tex