# isabelle_session_info

session_name: HOL-Algebra
sources: 3d5a22ba4a1fdf16876053d5f40df0b5f4e5e4fb
output_heap: 8e8366335a6549c9c85d5c9d4c60db9f29bcce29
input_heaps:
f42ef1fa33b2bcf7f41b6d59156a15f0915a3353
e231d8a0cba58c5d3b81b383eb6beb7946babf5c
af4bbae4b9ea16b6b597e756483e87e8d6441217
000156a7cd68349d7bd0d3be5c4d2ca14025e012


