# isabelle_session_info

session_name: HOL-Homology
sources: 590675bcf16e37a660d6b6b8a8b63e50cdaccbe8
input_heaps:
cac5d03352e376834a77ac05dd893fd2179d2522
021e215213850104e25ab568a4ae9421ef705042
28bec225f52861abc54fbfe94826de89869760b3


