# isabelle_session_info

session_name: HOL-Algebra
sources: 1b4845f9d798e28fe2a96b73cd2e4492fc6c3ac5
output_heap: 5feb50cf0c94f2ead8e1d8583cd564549da2da02
input_heaps:
8e746ae3b5d24dcf537ea0091b8c9f94dd892450
96940058ca3bea5d50ecb9123c65c348b0504148
49c0551f7fd64e45ca6a4bcbc200dd4b389c44a3
de8bf328e0304667b3a56e15e7b45b6d80c36869


