I get the same error on the testboard (job #175), see https://ci.isabelle.systems/jenkins/job/testboard/lastBuild/consoleFull:
> 15:31:26 Session AFP/GPU_Kernel_PL (AFP) > 15:31:26 Session AFP/Gauss-Jordan-Elim-Fun (AFP) > 15:31:26 Session AFP/GenClock (AFP) > 15:31:26 Session AFP/General-Triangle (AFP) > 15:31:26 Session AFP/Generic_Deriving (AFP) > 15:31:26 Session AFP/GewirthPGCProof (AFP) > 15:31:26 Session AFP/GoedelGod (AFP) > 15:31:26 Session HOL/HOL-Cardinals (timing) > 15:31:26 Session AFP/Ordinals_and_Cardinals (AFP) > 15:31:26 Session AFP/Sort_Encodings (AFP) > 15:31:26 *** Cannot load theory "HOL-Library.Countable_Set_Type" > 15:31:26 *** The error(s) above occurred in session "Sort_Encodings" (line 3 > of "/media/data/jenkins/workspace/testboard/afp/thys/Sort_Encodings/ROOT”) This can’t have anything to do with my personal configuration. Does anybody have any ideas? Larry _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
