Isabelle2018 autocorres: declare external files
Isabelle2018: AutoCorresTest
Isabelle2017: update AutoCorresTest for RC1 Add a "sessions" section to the AutoCorresTest ROOT file, to allow the IsPrime test to import from HOL-Number_Theory.
Import release snapshot.