# isabelle_session_info

session_name: HOL-Metis_Examples
sources: ff3475590ba4f78d5b261c5882ec5949fd063f41
input_heaps:
38c0e2920549e9749d6e446b2b50cc3ebc6f2bfb
8ddd6744a680850cdb382982b4e7e53d36e0f0fd
c1aab8cc0b1f919474a1a1af5dc6d8bd244c5a16


