# isabelle_session_info

session_name: HOL-Algebra
sources: a7d78710bac5aa26e42c0a656765ff7988987eb4
output_heap: c11986a6cc016c0e2ddc8b2e2731c95dfa1fbbf5
input_heaps:
f7ad79d6f9e93f2b021491a660edb894fe30c4c7
88df4aeb5c420811fbac53319f632128b160127d
ec871d64a5a450a028ade00a5fe87e8afacd1c01
3c3763228c90bf0bfb8491866bb4ee29b191caa5


