# isabelle_session_info

session_name: HOL-Homology
sources: 32be2b12fb1bebed63f54482ecadf6c16033c903
input_heaps:
0d299af725467f9971d4b5bdb3afa1308842af77
af5ce7345e4750b754492237c662f5ddd9ff936a
25fcb45925e4a88edc2a6b8c5085e3eec03c071f


