# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 08b584abe40fed237c4e76793879ff001e58e348
input_heaps:
d283a8fae717924d7d4c810028d8a4be3559955b
315c0deacc4a77bdc6a602ec4de6ba0aed437907
e7658ff4aeda8ca87c684c7dbbef56c6817601a6
21049335f900cdabea8b6ebf56d3e4449bbcfb28
f35b2c06d283552cd575a5e744b90bad41776586


