Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-01-24 19:21:01 -0800 (Fri, 24 Jan 2003)
Revision: 4020
Log message:
Created names for ([||], [||]) and ([||], [||], []) that are used all the time
for rewrites that do not require any arguments. This looks nices, is more
maintainable and more efficient (no need for allocating tuples every time).