# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: b0daf727b6b3ade11f97d95cf53090ae11cb2e77
output_heap: fe6e88dddba1956a12c7f871f36c5b2804622fb6
uuid: c2667a5e-4cf0-4b78-80d1-4db7ffb10c71
input_heaps:
ce295757e9128ce20e665c4f4ba08c3bdfeff815
3b15bfeb74cd601d1e7f504e7a4b04f02809051d
1262cc5026584a10c127e9b3af4f4ef395f988dc
153946ad86a6dd61f46ad7f68c4a28944e6a994c


