# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 4da137fe32d5a6cb35ee160a2ddc6eb2c873485e
input_heaps:
b32ac976cdb9d7611cecd21164b5d37d166a70f2
7833fe06054d8c848d36bd9abf4e4e615831aef4
2028385119fafb7bac5001679cf939790c300aad
31c2b22aa100e2ce55c25af4a5330302de88166f
9f4e3c0c120763757cbbc40e3ff0400b3560c5e5


