# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 657f03da18241855958ee602474fce1978cb0fe4
uuid: 9e738b51-49af-4173-84f7-7be8166a687a
input_heaps:
69be247dc43ecdde6ec938bd8fd1f08b57428e94
a98d9216082127df82717ef1b3320db859025f77
56a147a0185cce5160f925d498ac13dd2eacb7d3


