# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 952b42524f84c0005c033916dd3accd227b77a22
input_heaps:
7806f52011c4fba77600ca1870d3593b29503323
0b34bf6c01a8dc56802d20fdd0cc844755a7d424
b466133a0b7db61bfbd5c6d976c1f95e29a4b967
9e8a3e06d550c3b2129bcdc2c248701c5fba8a90
1c95193c2b4f4fa4de98c4c3b5d77c1f17fa4d70


