# isabelle_session_info

session_name: HOL-Decision_Procs
sources: b7b00b655b49599244a3cec5cf508fc25750b394
input_heaps:
27f83cb75cdd20c60083d6072d302ef3062f314e
dd918606b85bd653685a072b9f3f02b489037476
af429f23c024d82741fb51a0825b8f6183de7528
3e8699fe0413b3592b705542d9a68c2405e3cb8f
5445a8e2cd99b0147675441f2d90822f3938bc08


