# isabelle_session_info

session_name: HOL-Algebra
sources: 9b829a19e4a7a96139245c7fdd4312630d904fb7
output_heap: 8b91c5bc78c784a3e8d8313a8c72909fe4008f1b
input_heaps:
66da40a09a6751d87de8ae236e637a692a9b1c0e
4af5075887a76481f038d4f4925e41d5598ce611
d933a12e3a6561e5b91d77936f6a44f353fa0343
cc275675cdfd5083ea73310eb89b1d58b1de4440


