# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 7c9806bab04b0e2f4d25f285591ae9b8b7ed61bc
uuid: f7d204ff-760e-4ec9-8d4f-ec61e51a0cdf
input_heaps:
a4cc56f347bef96df112454c282b70177f6a68a7
4e9596f9263a14a76ff98a57cfc31d0464e8134b
ccb906bbf7d2c0088aacce5c05e6faf30061923b


