# isabelle_session_info

session_name: HOL-Algebra
sources: 32fff88ec9c5522d02a2c8f7f62bef63f56ffe0d
output_heap: f41d70ef00b26935c25c148f27bdf597c07ee24e
input_heaps:
924cb62a75d1c3d60e07b1a488e345253c696750
64c0a35383da60b6bd894ca4c0863bd690715557
9f0f3dad96a3276ae4c9f0cc4b683096215ac7b9
5d54b8506a9c1ae67855884b340fa31baea50df8


