# isabelle_session_info

session_name: HOL-Homology
sources: 868e17e7db57b4b35d63303077fa519015524893
input_heaps:
527f4d07d271485e54ee6fe3ee5cab5376511032
10ed61a85344e5dd4a80e5ff81fc8a14dd83e4ed
aafafb004d1240cb68963f696253376e0b3d620f


