# isabelle_session_info

session_name: HOL-Homology
sources: 5deed5ccc66bfff45fd7993273312bb178f2f856
uuid: e2557b8b-0219-43ac-9bda-1bd5cb1840fa
input_heaps:
0801d317611e826e9cf4db1743005797fad2ead3
98042735e6ccb24a3163b6450a8c77d21c48bd86
f3d8ab6bfb2e3ade60bca97efed200fbe939d46b


