# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 1a56246514ff1b15f13a793debda17c853432b61
input_heaps:
e6482372651d25cfcd88b33f1b222ef5cdb71889
fc0e5d8b4e796b67ceabc210f27e4a4ee0999ebc
aef5ff10096fa0ad7e3acd5dc0607ec20af499b2


