# isabelle_session_info

session_name: HOL-Nominal
sources: 3c6ac8c981031d69a63a68766c401ef2a28da9ba
output_heap: 03af221d9083ee94f5c64d2d2a37477256b56dec
input_heaps:
7fc82d96a6cdcdfc2c4460ff25bb9a8c30e0eb7e
15b300149e9f03c6f17b2c67438a0a1255b696d9
37688449570e1eacfd2b69c1dbf1f4f0e137cee3


