# isabelle_session_info

session_name: HOL-Homology
sources: 08c91678e31f0d6c1c94bf3252b43ed132765c38
input_heaps:
6d2b45655ce44081c131f14d4fedd2d1bdfeb50f
e788a9cf233d6b653b58bf56bdf77b51f02134a5
d10aab0a90087f896480fca1403a0dd02cd256be


