# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 01b4f1839716316950ea32e0e1fb6a7628c40145
input_heaps:
339e0b0a0e94b9d23409a39db2839fd5b5739adb
7223a464d26784c3ed2fef948a679de14fae3487
11ae355b7d84cb3e716fb5a71e9937894a5be822
a7a8a41c4314c4c26d3dd849a66487227d2f26bc
a8466176d8a7b1d550e915ed4e0347bbf930f00a


