# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 0f618b0fda1ea9fed073d631d9dd28cb3d26507c
input_heaps:
b6a06941c7f4d32a9ff0b780ae34fa263f209f1f
17c087a835d148ead0faf3b05e4801803be6efde
e19fd855d79a722189e435995b1ccfcd1bca3848
2648d3240bc9e7077d7fc63b0cb866139118b361
0a88b0edeeb555ac33e2d525c46ac7e49709d8e2


