# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 5eecaace4456fae74a21daf4b9bbd4e27716f553
input_heaps:
4f2c0bd4be2ac4b94f89ae10fb0d936d88f36b2c
ff670c3cfafe1b4a987538d467717cf66914711f
dc78fdf36843782b6e6f6580e09328f454357ee8
7136a689b31f344e43d82e9c886e8308d68c46ca


