# isabelle_session_info

session_name: HOL-Nominal
sources: 9e0bcbd6e6b7d25ae5c19bfab38b2feeff79d541
output_heap: 693061dc776692400b7e68cd4ba5cd815fa897e0
input_heaps:
bf9654100afe32c7d5bf427df7a0aaf9473b4b02
25da447281407266ec378fa715a0f0d237e17a82
d403fcb36aa62746c75c7a9da58026bfa7219c80


