[../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