# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 500bf2a4045e0d59e57607d0bc689f995e31492c
output_heap: 8a932c22d9be18fb036e8e8e8c5279d43f2b7947
input_heaps:
f7b4b33949eadf68a640de5d1913d11bbf106da0
124babcbd0240873887a6fa5acb6690168ad45f5
e281d9a67ec1f1f93a30b94ffdfc76c8fec76319


