# isabelle_session_info

session_name: HOL-Homology
sources: fe87f9fd77eb58dd4e5c9e5c8da53b9d32f0ee06
uuid: 5bb5101a-bd59-4215-88fc-6dd618bf8139
input_heaps:
d67dd59f24d4648407eee957ef090d6e7353dc59
6da8ff0f6583832242a60e1b676145250cb53d21
63f05b904df31e895c89bac4e7df541fa4bd4156


