# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 307aa60238b6e111bfb1505d8415e8bab9ebfe1b
output_heap: 72004fc929a82f481c228479c8bb122279f25b5b
uuid: 405a31d5-f6ad-43d5-b425-fb79121d81e3
input_heaps:
8ad5a9031d6debdb25f6a2d28327df038ef77817
042a873bc4c2d063090ad7ae9e8eaa3e07053193
6daf18f4855a1124051cbde926c9686f5570e093


