# isabelle_session_info

session_name: HOL-Nominal
sources: d429b8d28a568b14a2a64b1ec00b61c040ad2bd2
output_heap: 8bf0fc5b1bb01f3768c6bf1fd345a8558cd3a4e4
input_heaps:
5ba685b34502b4975dd781c9ef731c56a0e0c185
7db66820c4732ce3811ef4ff9263cbcff2cc8580
46b086d6f859329f35c9e2a18da6cfb333cde927


