# isabelle_session_info

session_name: HOL-UNITY
sources: baa5c8ceee4c340983b8a82ee13ca53bb9abf4da
input_heaps:
3cff46c99bdc77cb69279060f2c6ce1d34c65856
81d7082226527c0f9590bf1b77046bb4db419c84
4dfbce76ca88eb0868e48fa809d6ff0b5fcd5af6
8aefea9978c6e939b388b8283fe508ad24565663


