# isabelle_session_info

session_name: HOL-Cardinals
sources: b930827decd2c505af02034f803b9c117fcf972c
input_heaps:
c86fcfee5fb1be7b675a927b4429e1cb8c8b28bd
fa2cd31f5d91c0bfa05ce92acece22b03cb05e51
68704aa49a969a8f602c3dcb98918ca36431195a


