text: Dating back to pre-Roman times , the town of Pavia ( then known as Ticinum ) was a municipality and an important military site ( a castrum ) under the Roman Empire .
simplified: The town of Pavia ( then known as Ticinum ) was a big city and a special military area for the Romans .