/README/1.1/Thu Jul  9 10:29:40 1998//
/basic.fs/1.5/Sun Mar  9 15:06:39 2003//
/bitmask.fs/1.4/Sun Mar  9 15:06:39 2003//
/generic.fs/1.4/Sun Mar  9 15:06:40 2003//
/numref.fs/1.6/Sun Mar  9 15:06:40 2003//
/target.fs/1.4/Sun Mar  9 15:06:41 2003//
D
