# isabelle_session_info

session_name: HOL-Algebra
sources: 9cb5a7ac44c1afabdf1803fac62cfaba9be22ca9
output_heap: 09ddb150014b41c3d7a93e1b7821c737f783df1a
input_heaps:
849a93819fa451203d0122b4dd3db0edd4c708a5
e5ff3eb8497e8e1ce5e269fbb4d27f07bc3d35a1
61a1fb14c254c510bda1b1334c6014f46c380602
1991027a6d6640f64a19980ae4637b4fd5d71b30


