# isabelle_session_info

session_name: HOL-Homology
sources: 3aba9377d9d3aef1ff29d60e30e261e4836114c9
uuid: 008fd12a-d9c1-4f7a-8b63-1ab5856c6288
input_heaps:
55d97443c4a73a7f2f2ba7aab617db94bb5554f9
36d19a458526829aa8e7a165ce3ae192c1c58aee
15e1e4fb0cbcbfc75e580637c7e9c4a24e835550


