# isabelle_session_info

session_name: HOL-Algebra
sources: e0a95c4afc4af95f95c8bc029ef7fd0744c59e1c
output_heap: 5d758ed957858a7631d6f9cc823a9db2ae57c8df
input_heaps:
92db83aab1d6ceba9962fdc7de00abde8b26320f
a20c3baeed3cffdd830de0846311cdec3c8045b0
5d4a20255d168d8740b3364b5d493f3a7d5c3450
7b8bfe5b8ff90758a0532a348d1b6c9247b8b941


