# isabelle_session_info

session_name: Ordinals_and_Cardinals
sources:
0b71552762a86f4cc9509ec4286ac12980f770b4
5e505ebe31658e94b493717613759893cd73fbd4
821c17b742e5935dba6f50981002859c60a671f0

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
4f299c4725a729c1eb63ecd919e858985185eb8b


