# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 4480d935a19632b99ac7d13aa363beb3bd2a8e91
input_heaps:
9ea718305cd1fd52d6423d9576c9d8a397701153
78fa00d6c63010d9371bd27168edaa8f7fa59ce9
59cfb0ec4a6a8913a53690c9a32309310a613657
5ced14dafd7f25b32b9dbd8e644fbc1132f8669b
db06c6b20f2b1400960d8b22217264a7eabd07db


