# isabelle_session_info

session_name: HOL-Algebra
sources: 214a9c5237f486119bb4a5d047571f70e4fd82a2
output_heap: 3c3c3b4cabef9deaa0c6598728081f46d43b5c60
input_heaps:
3dd106b0fc6e16ab72e3261eac1cce577c86ae1f
a6d6d9bfe723c3b0701e88c92e528dc9c8b3fa12
7bcd5e319d1ea2a2e971c6dc7c2c7fad20f77d92
88a5c9f9f6bb4d4e3c1abb93e024b91fb4969958


