# isabelle_session_info

session_name: HOL-Homology
sources: 20685389a5779a141515862519804efcc2de89ab
input_heaps:
095a950634237037a8fe6e589372f54d614cf935
dfac3b4064125a42333382ec937d0cece35163aa
cea986c89f9eb236c22c3db8dc765b654a4f2743


