# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 5b2fc6abe336d3fadd3af73bfe4d1d73bc3d88f5
input_heaps:
b67598e9d39e25a28c8a4047eb4f21bcbde37efb
b943c91085d6c200a2f9eadeec522426450d9fdd
3e8161e3ad9c167f72c14cc19719a9df8cdbb71f


