# isabelle_session_info

session_name: HOL-Homology
sources: 8e42d7ffcd4144aa6c485de14ca91c0a1bc06098
uuid: f2d9a4c4-fbab-4709-bb3d-f291cbb9e5d3
input_heaps:
94e2b66d00b77875014d997ac2abf11a8e903784
18be5846271af03e56b22434e2d70261152d1227
62ff458ea3cb7a28e76447642f62da672865900e


