# isabelle_session_info

session_name: HOL-Algebra
sources: 518f9a6135f5a2ca84a676b96a7b95a12f3bc120
output_heap: 9e44e26fd84d570844ec40918e53674257c1f22d
input_heaps:
c57905e4889391014b3cd9b4f004261944b8f8c4
112025c4cc8eba4f520ad7bea85bf5de1a11b871
455baaa074e65627bd29d7239838b3d4f6284e7d
ba13dbbbf5349d13ac6f154591162926a937e7b5


