# isabelle_session_info

session_name: HOL-Algebra
sources: 2e5bb28f6997aad6ea1a331bfd3361b7650c2edc
output_heap: 9ac48b78b2ba5a24026f35214a190ca40b3110ce
input_heaps:
2756139cb33ba5e4bd4cc33e5c755793ad6d44ef
87150c565a142fae9a2e19dc263f6b4daa00c26b
958f0ae0fc1cd7ecfc7e8e1ca2ceee22cc61ad96
b15ebe160422e1a90cdcebfc75743d7083bdafc9


