# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: d8af975081337991cbfc303fb3b91b8c27763340
input_heaps:
d6896dca4550f3d580bd8085f0ec522b3c80ed4a
572a934a0a010bb60ece895ee276078cbc430847
55f22fa3ea6e5512d0905e9d87f014598bc135d9


