# isabelle_session_info

session_name: HOL-Decision_Procs
sources: cfaaf33a5326e4f786dd2ce63928a5c2b90559e4
input_heaps:
948e488671ba217525b4d44270af3533510a21d5
ace97e9292ce8a89b7e194cc52cf58c18517f8f1
105c384a9b35f16434f6fb1048fe3a374b58117f
d6407a13bd936c353328f4c30b0a8fe78adf5c39
69eab0fa994706f046d752f90776dc44d2be5573


