# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 6c1f7798335ebac5c05b1fd393d544964b7fef74
output_heap: 77f92917320bd86fbf82d09474d645e611d34423
uuid: d052bb01-b514-4a73-b6ef-be22a55ba639
input_heaps:
d110a6572af0be1c73c2824ffea82a089f944503
2dac7cdd11e16d13c849935f67cef8b8fd095f4d
dbbf5715d35bbca7f0c5d9d5ebe805cdf29e79fc


