# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 6b5f14ccf3f49f26d4539cd4456a26c280a48516
input_heaps:
345ae181c538e4194d592676e06efaf9bde7d260
419c2b8ad3cf3be96922e0b34d91da2c6de0eb9b
e394185f15307ff36f612824af64dd26d585bb07


