# isabelle_session_info

session_name: HOL-Algebra
sources: d41141d3f95359801db4bc7f983a4dc90d67f667
output_heap: 7308b8c0697e399e55b64c4c2242c89eac756365
input_heaps:
b883a48d9fa3f48a786f69b365d44319b1384898
63e31ad1910c4b6b20266b2e8ac7f3c4064fb790
a46aeab6b5e439fd082aa1f70e7b3f1b5c0ab3b3
0fce940fc8846bdca0bbfefde21d9122613ab9b5


