# isabelle_session_info

session_name: HOL-Algebra
sources: 24c5180dc828fb7d03daa2f5a8c6d38d784f501c
output_heap: 06af7889e42212cd7bf9e9ffa8156ea0762a58d9
input_heaps:
3cff46c99bdc77cb69279060f2c6ce1d34c65856
81d7082226527c0f9590bf1b77046bb4db419c84
4dfbce76ca88eb0868e48fa809d6ff0b5fcd5af6
ccc2431b95a86d60860c8572e6e980f18e2fdfc2


