# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 72481960f2ed7d31530f9d1649b08a0f47388fe7
input_heaps:
ff9ec311f2965b5256157dc51e673f62af8e5ca5
10a38f173e27565186798ec789d35427da220c73
aef3817a777436681838cc0007076dd38ff517ff


