# isabelle_session_info

session_name: HOL-Nominal
sources: d84a5b4a7212397d7218099fa1e6d80ed6a2d24f
output_heap: 700be98a868d1254422d13ff4936615cc73b3a03
input_heaps:
90cfdec0d87addbf47d3382f9c916158cdafeb90
4464720f6112547e5ddd8b507d4f8fcf7d12bdb7
7b132e31a29f37151321b64653cc5f100d5b474b


