# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 64037c7e8a67f8411d4c7f3d3a04ee7457e86fe0
input_heaps:
17875d9ab39491b14167707e21ee07d18b9ca721
c2f89e2c128cd04657db1c4a339b6fc48c5ee4ec
bdeee22d78a99593fd0606f8e3daf729619b057b


