# isabelle_session_info

session_name: HOL-Homology
sources: bdcd63cba5fb61e48f77a2c52a1d0e9b78a58302
input_heaps:
971b735bb93991ebc30ab05e1c5d2490d534dd41
5e6da02360216761c8e3eeec3df5cdc5e01ade87
b2373c8f00ef1a2067ce3616f3e84347cfc6057e


