# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 69634c905ba80e3b766fa0bbf9c5ca122bfd3e76
input_heaps:
68fb0f718111332cca1e0038fa3bdf7dfced8e28
52b08bd0fdd203dcc6e7f24afc10bdfae8e818b6
2c4ff1356f615935c7765393d58cc06877ec3000


