# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 91873ec2d6acce9ec7765ec56b01abb86d85b94b
output_heap: 9e8a3e06d550c3b2129bcdc2c248701c5fba8a90
input_heaps:
7806f52011c4fba77600ca1870d3593b29503323
0b34bf6c01a8dc56802d20fdd0cc844755a7d424
b466133a0b7db61bfbd5c6d976c1f95e29a4b967


