# isabelle_session_info

session_name: HOL-Homology
sources: 806982c898020ce3125e92ed67335e387f9033cb
input_heaps:
5234d5a5043eb9f3e26897b36f073692111b110c
b91e791daa16209e13166716aa8f901dce4a31bb
399282aab6a41c81d1d47bc193d63bd7a49646ad


