# isabelle_session_info

session_name: HOL-Nominal
sources: 510eed7cf3ec2aa423bc2cefe092ef9db3f81959
output_heap: 18eefb274d88f36fcffbfe83976648d80a30ff69
input_heaps:
1e21a38563f73ae1e71d122bc805ba19ae3a1e96
44b44dfdf804afe70e094dad95ffb119fe1510fb
7db0bb0deb0c950dc1abdca904e5f40182e62495


