# isabelle_session_info

session_name: HOL-Cardinals
sources: e96e5aeb34c70718c8158fb70bce3dec57441e0f
input_heaps:
0a23064c34709125a075cd68ce8f561e647f6953
6850f216aafc89fdeddfe90aae02e1cda8df6a36
d4244c8c8b45f34e99d88ce9efcf11cfc8d66586


