# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 1b9352a469c800bfeee27eb7cebefa12ff45be4f
input_heaps:
71091afed7a8a197c38e4fd92b1ce9b0f5e17eea
e548908dbfe907487adcfaa9280f64113ab5bbbf
e309b151f883e560703ae0dee61d5fde8b66cfb0
a05023136bc45ce9fe81dd6c3494f14e86f534f3
c79f4386ad7f1867fb59e297ad4706e6d1a083da


