# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 59527dc1b58b8384b356d13308031a4cb3a5ec8c
input_heaps:
4842c8e44f35b38e84e7496d28f4c0448c77e9a2
424fbbb4dc49c5f9da5fd81c78ab3b2f35a10efb
b24a626926d116f90b05bb3fec45e8af4a1681fd
e48c2334967a8abab7be082cf06d5c87b1ee33f1


