Panic if we depend on a theorem that hasn't been registered in the database.
Panic if we depend on a theorem that hasn't been registered in the database.

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script