# isabelle_session_info

session_name: HOL-Homology
sources: 0d95dd2bc5f7f80e1a303aeb33797b8e3b4e7a80
uuid: 02a48ad0-7d88-470e-a9b2-53ac46689c27
input_heaps:
f57eb8ed536f0e70cc3f24060ba296c4b68ba268
806371498c4294b06fd3427f88733a19f266392e
d13eef895c0ff8ffe4fa61aa367447674f52f997


