# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: c3375e0092ad2516b5b0fb3ae41641a21ad1a1e6
uuid: 0fbd4e8d-bdee-41e3-8674-a12d68d27034
input_heaps:
6658f1360d03aaa6e9a44f29ba89e5d4511bfd5f
f5ab5fe06f6d5ebf55de4e984914a8d78a3ea819
31be90412f2adfe57820f70706028511e7ed30dc
6c455779a8a4eaaa5b13d3ddc1d1ae18fa18c9b8
bd23d2b5efc7648e04a64ad793c6d50c4f4d652f


