# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: a0f8b3395527a1f9609e8bff534789f78685536b
output_heap: 4013f8191ae99fb9ad645584120c28e578ea96c6
input_heaps:
dbc373532a8de37e9abb2d2b3f29c7d794abd157
76f1b6b9c5508daaae4efe96776d5917ec90f735
21eb7280d14694decc6e9bbbe9fdcd2898c54b3b


