# isabelle_session_info

session_name: HOL-Cardinals
sources: 5841b4834b2a0cb3ce010374846b877a9171f35d
input_heaps:
7ebc77e06d0e52a3d23b989ac3a5cdf6ba4e38da
173ebb4f87bc782b63cf102fdfc8b061631d5b0f
39e60d5dd3a8625aa5f685558211aaea63c973dc


