# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 1ef6f2b2c40145f774fa05533ef84d602aeb2488
input_heaps:
ad95178f9cc8aa8a55e83db54baad3cdb12343fd
1699cd031ea33bc672c8b13b97dd8c83db33689f
6f1a5e54ec9cebb88fe3f32017a0814fbca3ab55
17c53773c61163e998c5ef8f93ce5911d914bcd5
92825935c623fbb4111ea6ee2420a642b6687164


