# isabelle_session_info

session_name: HOL-UNITY
sources: 5dfe6aa1bc8f9616c29ec8b811f38c9c7a16166d
input_heaps:
345ae181c538e4194d592676e06efaf9bde7d260
419c2b8ad3cf3be96922e0b34d91da2c6de0eb9b
ddc260f4af4788b6fe95065d7f1f16a16b6671a5


