# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: d026175e09db4900ad908cc06ff7a031ca07c234
input_heaps:
694bb96926d1660698ddeb0394f4bb66043d4981
3f194d166fa7506877ff48dffbc5ca900826612a
d156d679d1ab220871a5f14665f6bad86eaa27fa
297f31c957029e98e445e78f7b0050dcd21577ed


