# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 513f24388cedc7e6d15b3d97b9b925a656e0ff83
uuid: e3eada38-d1b8-4ca1-b247-b0bc27b4bcb1
input_heaps:
728364c96560a7a14ddc2e9263f9042c3dd467e5
f9339c00e61865f047b4085392acb528fb8b6ea7
abf90c6dc349ece67980805c7eded22c1798a41b
8401245c80a784448c8e78d796c7e8498633fdad
4c5cd6dd0651406a829d4467eedb06fd2e1856e7


