# isabelle_session_info

session_name: HOL-Decision_Procs
sources: fad2fbb9365e737aa46ab2ae0fce842ad3c1e160
input_heaps:
e84f79adc9fae80ecce744260a10d713e14975f7
a21ea278ac8fad69f4ecd3913a79992386534467
66cbe90cc02d2fb75b914f675fd08bc2c0fc0199
34e8108aaa036594979f268a7bde65f17c7541e8
2bbf4d4646cd08357a5169b679c9cf688e0c9e0e


