# isabelle_session_info

session_name: HOL-Nominal
sources: d71991e0abb8363e278d966b197765a8ab5a3ec1
output_heap: 9b93bf2259e90e144739df3cb11c1d6507775cfd
input_heaps:
33e372010bd93d78618052a88797c5afe4f11382
7daf0c8bd7744b8053173dc61bbf05acdc7970ef
b6f41c0185bf083cb5382e1146e55641d3db64d4


