# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: e2e31148a6bc1f6a8808d229760f98aec655dd00
input_heaps:
3cff46c99bdc77cb69279060f2c6ce1d34c65856
81d7082226527c0f9590bf1b77046bb4db419c84
4dfbce76ca88eb0868e48fa809d6ff0b5fcd5af6
101d27bb8a5e9aad5ebedc3f05f4b381d4936d79


