# isabelle_session_info

session_name: HOL-Algebra
sources: fd517f40e031588366a7da6031e9e779c73737c8
output_heap: 02a9c5fb35c02d5e99fd8b1342642cfb7d9abd71
input_heaps:
9235961972386390d7ff0c35ee06fa04a23ccb09
b75136753c9ad48a7e1735026ab62b8a6a162965
ef740e0b3c05a59b17523f804869f9f44912f550
3aebec0481982bd680e77ce108c3a1142cd7dcda


