# isabelle_session_info

session_name: HOL-Cardinals
sources: 9d1019b62ceddac7976a480b8d56a5988405c1e7
input_heaps:
4736b1e23a398dbee71a41752b3246cb194e8a53
b1c73846f4f9e2fe254680f9c3939abd28428f9d
b53902b93b663b6aaecb379c6c3e88b4855f2977


