# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 13fd029e8cfab584761a9acf5b127d9288ead034
input_heaps:
3544b43f6233cac7fa59f57a860ecfae106f5f76
f0c98d261d30ffdb52c0a09fc4e24718add3e116
3256f189b96d41210d733f3ca0eed9ae11a2da8a


