# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 628341f6c21ce0aaeae092fadc0f1030934278b2
input_heaps:
924cb62a75d1c3d60e07b1a488e345253c696750
64c0a35383da60b6bd894ca4c0863bd690715557
9f0f3dad96a3276ae4c9f0cc4b683096215ac7b9


