# isabelle_session_info

session_name: HOL-Algebra
sources: f390e208ae7bdc49983b582193c63e12110cc229
output_heap: c7e63b3077bc6b9c12aa2eab03ac8826fb9a1b04
input_heaps:
dbc373532a8de37e9abb2d2b3f29c7d794abd157
76f1b6b9c5508daaae4efe96776d5917ec90f735
21eb7280d14694decc6e9bbbe9fdcd2898c54b3b
4013f8191ae99fb9ad645584120c28e578ea96c6


