# isabelle_session_info

session_name: HOL-Metis_Examples
sources: e819d498a1b336eff8a2dce887a41f8bf8e0376c
input_heaps:
11feaa6b69b3c952139da2ec72ac31efea97e58a
8b9e2980a54ebcafdd93dd57be4b4135e57e3a72
3cab9dff622be48e331e918053887b9659ea8482


