# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 7a2e3152991887298587cc99bddd461c055f1737
uuid: 08424147-e681-4b9d-8200-f5702cfdc81b
input_heaps:
89c875fbbb5d9d0e7d7830b39525c64c1be448af
34b353047794b0c2d571f202ffd31b8d97313401
bb611dcf009151e5a8a0a4e26c19079e4db1932f


