# isabelle_session_info

session_name: HOL-Metis_Examples
sources: bb8ba581607a98a1a7ddc34109ad0c6803b8e0a8
input_heaps:
c7eca97fa6ef005cf19e871cc66dee919202f2f5
d7d8e72ec37a9d8fd658bf45be9f01f4c101427e
98e40bd54e0043bfb45e5a21a2cabe0561c43cf7


