# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: f908b0e86f04bc5899e502e64f6a9e677f1f3156
output_heap: 8401245c80a784448c8e78d796c7e8498633fdad
uuid: d9b8ddf7-e9df-4e72-a1e1-ef713a346bd1
input_heaps:
728364c96560a7a14ddc2e9263f9042c3dd467e5
f9339c00e61865f047b4085392acb528fb8b6ea7
abf90c6dc349ece67980805c7eded22c1798a41b


