# isabelle_session_info

session_name: HOL-Algebra
sources: ea03ba66b91c9fa3a6ce4dc1d4f3362a128561fb
output_heap: 114611c0a104e6981522c8c0f61cfed08b17c8b2
input_heaps:
eec272d4b5b3d582847a197d88eb3a9b19984c82
0dc95062e3492904be2f0dafcca23de748b5d252
49e47e44a20afe02c7aaa675e0c636e391c2647e
7f241a70467f527fd7c01650df2d431a0ba7819a


