# isabelle_session_info

session_name: HOL-Nominal
sources: a79ffcc555a212e6a49f41c07adee1594dbe3035
output_heap: 17ec95b4dcb8a9dbdc1a2186022bfd9006e882e5
input_heaps:
d716f8fb9fa43b4b247aa7bc0e733655554f6562
aee1e61aec33c94e0aab6c04b583c2e618770fb8
dbf1736a9f6d1afdc0669ab8168d431980b42cfe


