# isabelle_session_info

session_name: HOL-Metis_Examples
sources: ae72d70edb08958258e9e6dbc41e55a33cf112a4
input_heaps:
1e03383fe82b4a32cb7659d421d19498ed052b67
f4d7d4b4a6dce3a1f3342d41a8efd10119d13ae1
0b9b8c5cc5cedff286745c45050810e865dd3729


