# isabelle_session_info

session_name: HOL-Nominal
sources: 79e8cd7f28f18c93eb25e6fd229f3b44d53ae2a2
output_heap: 101d27bb8a5e9aad5ebedc3f05f4b381d4936d79
input_heaps:
3cff46c99bdc77cb69279060f2c6ce1d34c65856
81d7082226527c0f9590bf1b77046bb4db419c84
4dfbce76ca88eb0868e48fa809d6ff0b5fcd5af6


