# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: dbd5ba4291367dd24c38d372d08c2ca7c8151551
output_heap: 8d64e3124d4c2b632d1636ea9e8b5a01b60faf4a
uuid: 3d32a736-10e3-4f23-8a25-3acc4a2f5a07
input_heaps:
611cdb6c5329e67e3840a4eaaf7a9c12741c22c6
7d4ddc2c6925c8c40fb13abdefeeabe718661ab5
4422bdb2524a3a6e2e6aa5dfd6c0668e98f1d2ce
d8a5d927e9389799a9b9dd513a7246282032ce84


