# isabelle_session_info

session_name: HOL-Metis_Examples
sources: dc954b0b00f3e2557760546ec9ce5c90ad1f93c8
input_heaps:
3b2e508b2aff2188633a82560156c897030a4024
d978af76c1573e6af7cd36158fcce388a4145b80
94cebb575091070c67b7e956f656be629ac72f02


