# isabelle_session_info

session_name: HOL-Nominal
sources: 0a644e2e60588d156a40311888bfec24d67d08ff
output_heap: 486fa0fa188ccc95a5aa1659a0c3cbc3be35438a
input_heaps:
8e59201648d7aa8ce728c4e17f1d57ee228b2810
f7012f5768972a97f450bfd6400e324efa13b311
b74d2d4d9b8a39e7ba82f727470a80d5266f6242


