# isabelle_session_info

session_name: HOL-Nominal
sources: 936b99d0e18c6809f7acc87244b33a724a91d34a
output_heap: dbdd35d669c75fae04239488024663ccbb67d5fc
input_heaps:
2922a9760d947cb0cc8b078564aaf1bd2d436941
dae8aaf71c6c8be05abd6464d3201dcaafc60276
deaabdde9c051ee779aa688c5999d5f3bb29b1fc


