# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 8d8600467c4a7d1b366c1549e864aa3f1234e875
input_heaps:
c5152c1238c92aaa6e4bbb00396561110d931d3c
a7e1bfad2be6b3a5081ade61eed213d1b2393434
6e9f552ad36d6a6d94a4003649c1fd7e298d25f0
9c2c56300154ff6460d585ffeb2a1d12c31e43b0


