rename tv -> explicitForall
authorIan Lynagh <igloo@earth.li>
Mon, 9 Jul 2007 11:25:05 +0000 (11:25 +0000)
committerIan Lynagh <igloo@earth.li>
Mon, 9 Jul 2007 11:25:05 +0000 (11:25 +0000)
commitebb1397514c486ef3678b88ebf0dba3d0e76ef49
tree6108d559c373e34039c480530c1da3cde93012c2
parentdff3e914fbc8cff76b0475e4431fa831c804209a
rename tv -> explicitForall
compiler/parser/Lexer.x