# isabelle_session_info

session_name: HOL-Algebra
sources: a3a95743363f32ea27876e4b4da5269604f089ec
output_heap: b0ca55af795f08ff23f144a5272ee5de85d6ed1c
input_heaps:
37f305baefe6e45ebfd7e114cae155924f962693
bfb08ef1d7efa3b300b0c03bfcddc089b87c4052
a46f966c0af0b03f4220b97d56ef5f2ef34a37b3
1fcb07a95f9d88a6d0b5726a840780fb96c3e326


