# isabelle_session_info

session_name: HOL-Cardinals
sources: d7c2ec7bb2b621d6423a6aa4c5f0cb9d875644c6
input_heaps:
6323e8ae4a2a39809963028663529f1011d7a0db
0078a6bb432ee63117c92ce3b78ffe13fa962525
2ed1753f9fb6736a39cfc4821cce2d76b8165454


