# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 1c69509ae83eaa76b749b3f9980b9e85d875f177
input_heaps:
4a4f54a92f149cb91f86d6ede33321d86d379713
9ad138bceb8124b0333eaaccb8c4fbbc943ef49a
08dac49f58ea54bb80e80a8702e38805ea7501b5


