# isabelle_session_info

session_name: HOL-Algebra
sources: 9218583e10c50438d205132590dc0a8dd203befc
output_heap: 0301a963f5e5da7b16db90a2f5bdd1e2d02d7bad
uuid: f89f0f22-2cad-42af-ba99-f88ed799e0a6
input_heaps:
47fe89a0b57a84789780bce1b7c17bef3c40f2cc
7f2d39404b813f8aab00b5b6b90da9cc0b8af993
e37b46de3b404cbdb3c5bc61b92145f4f14cc7e2
1ab2afd6c50137fdd5e574d465ca263c27673dba


