run Isabelle theories using Isabelle 2023 and AFP via

isabelle jedit -d PATH_TO_AFP/thys -l First_Order_Terms Test_Pat_Complete.thy
