# isabelle_session_info

session_name: HOL-Algebra
sources: 71e6d81640ed4d765f443adca49a87732b80e6b3
output_heap: 871cf9fe214c54b48b8a96bac32f6bb30e5146b4
input_heaps:
e2015e5246e1a7618d650fad22191f33705e8e0c
8a8103e86b35297b75bf7c8f4f146e87c135f0be
ef1ec3ac33915cc58a36561206f873c34cd4f401
c6e260118d02eaf71cd2a8eb0bf4d251d25baf96


