> [../Char/IsDigit.t.hi exists, IsDigit.T.hi doesn't; from the tar-file
> contents, it seems that *.t.hi are generated, whereas *.T.hi come
> with the sources?]
Correction (to avoid confusion): IsDigit.{c,hi,hs,o,p.o,t.o} exist,
neither IsDigit.t.hi nor IsDigit.T.hi does.
Claus