# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 7bb9b84a133523cbcb40842266acd69babbc59c5
input_heaps:
ee07a279e10e083a9cf625a9fe7636c229b9328e
2e355cca259dc8e871de0556aada95e588fab985
eb1a0bd5234e3258274f79c9b36e8eebffbdc21a


