I hope this is not a double post.

Should I use "at the time" or "at that time" when I want to express something that was known during the time when the events occurred?

> Bonco presents the facts known at the time about Fiolo and their interpretation by various authors.

Here I mean "at the time" as "at the moment that Bonco wrote it."