# isabelle_session_info

session_name: HOL-Algebra
sources: 0c6dc59a075103e11eabc61ce720edb78153f35f
output_heap: 2f2ce4d02e68d19dc3e99d6b7d3b6984edbaa70e
input_heaps:
5ed84af47abc05e6415ee3f4ab9fbfc3e91721bc
cbc18ad7ee89e59ca90d637affa8dadaa40daad4
04d402b0247d83750fec84a56120558bdc0bc722
fe094bd832f382ac6fac4e4cf27681d28a453bf1


