# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 1b9352a469c800bfeee27eb7cebefa12ff45be4f
input_heaps:
681d5f7fc3e04aaa1f2e7e53f290c7539f21d962
760f5e67e9493faf5a17920ca125cc8fad05353b
91ecd66eb993ad7f2f4dcea6b812a916f274f32f
b92651b47650004f741835e1473791a09d660191
77b15b11c5d3414138b86e7cca451d52c694d95f


