# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 3f92761e442fcb5972f991a138b9db1b8edaf18e
output_heap: ae00af5635aedcdbfe3853a64507423d8d64c837
uuid: 907c4294-8c31-4c7c-9cb1-022c5365ef56
input_heaps:
f0a12a2aec69f13fa5d0bad6bd85ace47d658fb7
79de5a894792a27db391599b9e95af83f31c70b4
ce6346b2d1a1bcbae741c9e7dd35a08e505208e0
b7ca8bfe854121dc23f2c6a6a8e98483bdb8160c


