# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 8432e6ef2c68e030d96f635fd83e8ad0db695ecc
uuid: dde0cc15-b02b-48cb-a023-f4f8d445b8ca
input_heaps:
46471e6616f7726ee6f7c4484f2c5ad2c2f77c52
61821a842a958a016e9d5f60f90d2a4ad88e0a58
7b5807c80798cb26b480179bd3770c527e2bcb2a
4886027a65183daad83b345861db0251302fbacb
7269eb621f68c9901ca14df4c3b191b921b7039a


