# isabelle_session_info

session_name: HOL-Decision_Procs
sources: da4df6aae28ea459b917e9760183931cf9f3173f
uuid: 6cb87e89-5b2b-430c-8d6b-c34a88990ee8
input_heaps:
82ad92dc0dba9d95491b69387d189df653d2761e
1530d97ea51c361acf764a2ef5e711409abf7a87
d43081aa673ccdf53d10d7c27ed9961c48a58124
6a619aaa1be2acf7fe2db5452f4e18cbeb279303
7c7dcaa1a97ed9eae515ad8c5998224fe87e1dda


