# isabelle_session_info

session_name: HOL-Homology
sources: 1ee2b6a385d164331ea93677429e158b669bfd34
uuid: 0d2194b3-2201-4ebb-986e-643d3bb48dfb
input_heaps:
95ed4e8ef4a50e6e2c06f89efaf18987551db93c
5ee65b4d98425bd750ed22b8b867605c93d371ef
16d022b4a7d54aa7818df7da3fc6c69965335deb


