# isabelle_session_info

session_name: HOL-Homology
sources: 9cb856769e6a43ceb2eadf6a9144acf53babcd3e
input_heaps:
0ff9958a0ca5fbe9ab4009834227f55206a20040
e87326cced1f0fc435ede3b19ecca1f629d0f741
fccde8c5dcce8d77e1a3052edf3afe640dfd60b1


