# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 022dba60095efe64fd91bc4d819fc4fe92647034
input_heaps:
a0f0a66fe4b4e42af65fbafc96b4437732b5beb9
5df07e4c8a7f31eb67d22158450f815fe237af54
80eef367623e2c4f8ac5066157e950839f823671


