# isabelle_session_info

session_name: HOL-Decision_Procs
sources: ac3038a36a2d4e844f33c429b2ae0962268150d0
input_heaps:
d65ba42434d6727fc7f04b55804d146f30a57487
b1ed8c3121239133acb432bd76f77a58710e1512
d3faa4940c431528dad657fd6757d3905bf63dc7
096d64a97bb5305f3d8c8ec0945f465ae0147bbd
f3e5f346fec06364aaf04065d6c2c60e27098eb5


