# isabelle_session_info

session_name: HOL-Cardinals
sources: d0fb33f07a056505272eb8675ac4c2c99f2e9a95
output_heap: 84a8a9e9f7e5eed6aa1992c5b4b9073b0117c771
input_heaps:
d6ac031d3e88d65563eac5f02a097b7a1de9a7e3
f9599c72045408b4573575612b1544f97d3e8615
e9df4ac96aaa27df45a4820e2370310fd3189a3e


