# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 51ae7ef2c6d2f74ceda227e3125f31496a658431
output_heap: 14d1ab5c40698dff631b8bc7f9862d8feea46cc1
uuid: 21583d5f-1b15-4c8b-b366-a9a7b7179c5c
input_heaps:
f120b186b8c94c8dfd968762788edb0b6c1f4705
45a65a42f2948aee1b7614aa26f30387ccd4133d
e19c39bfb3a28ff6190560da43c0c7291dd743e7
47aea242462874fd30cb951636892592f3b54551


