# isabelle_session_info

session_name: HOL-Algebra
sources: 5ffaf7820318a25b07bdac9ea5f669713a90657f
output_heap: ce982cb4442594bdf139b6b163730c274207c2c0
input_heaps:
fbf1d73320eec6c763263c6f73f4f8ea76918e5d
12ca8fad7c37c4403710460d4209f1fd250d649c
745d48715cb71365c725b9790f64017af8f1ad28
1130ddbf62fcd22aa89c6d9e6dc069123d902422


