# isabelle_session_info

session_name: HOL-Nominal
sources: 2cf5b1cbcebc0e0c9f44b0da876f7375edc4c30f
output_heap: d883f177a86fc17c7f301a2349e2c3cba54c26b0
input_heaps:
bbfa36403cf9764db93df21a36477abcced74de8
08d053295dd87951969cb4a9512b84a47f7a7d60
bc2d41c2a7659e2abc87de08a6fb06c4be4d38b4


