# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 95a455e67c7a99347948e963c0caead278d7f617
uuid: 01361617-b028-4f80-83c1-abd0af4ceb0b
input_heaps:
52fce7a083032aa70183a50f999e2868f79e2148
694680bfc6768bb59cd23ad51623a23d40ef82a4
7dc84cce36e99488cab9a50bde2c312f710bd06c


