# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 45e9a8ae83aab4fcfe45ff156cafe11e3b3f7c24
input_heaps:
a2fe398aa5bbe1e9167c32c9440835ae76233687
bb893dcfe41cefc4a17b5a562e7b39f67c6612ab
0e046893711c861141fef1d6277a6f1463479037


