# isabelle_session_info

session_name: HOL-UNITY
sources: cfbaedd24f4c77d466d029b126aa6bfb613cd539
input_heaps:
66da40a09a6751d87de8ae236e637a692a9b1c0e
4af5075887a76481f038d4f4925e41d5598ce611
b2784fa88b67837056ccb6257a3f8756774ea715


