# isabelle_session_info

session_name: HOL-Algebra
sources: 45d22cfb5e997b3a3c73532dbde507d0c1341a54
output_heap: 96c04bbd34dfb02eb4e64bf86907dc02e5df0fa5
input_heaps:
b051f2261d6f88c03646aa313c73a7379e29a659
7633af7870dcf6daa19ba6bd207628594e3663e7
48f356fb57a4f791aa7bacb846a57ecd048f2eb4
6092e215d792f093425c9118be242d10e3a49a6c


