# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 2149ee0b5b3c5c9b716b85b4254ff330ecd5653d
input_heaps:
2910a4ddca5ed320a79b5d7a8472877f5003c6d9
315bf5c235bb455547dcc26824308f3938426e05
91fd9eb5ac85034be689d5a4a5f2a5cf9340af9a


