3 Commits (9160e667a705ab8be4253ebbb3460b177e35167f)

Author	SHA1	Message	Date
Slava Pestov	885adc8dc9	Various improvements	2008-10-23 05:27:54 -05:00
Slava Pestov	52967c5bf1	Improved value numbering	2008-10-23 02:49:26 -05:00
Slava Pestov	d723b69990	Value numbering	2008-10-22 21:59:07 -05:00