# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 15d499d9d53901448c343121b1214f2252f3f203 9fdd6598fd9cdae3d4d6db0633a3b26edf735651
input_heaps:
47e138307a85ac5846b996407cdc8fc80cfb6399
584c2c37977e4fff9f8870d3165d4b06bdd3ff96
56fa590aee04ad8a0d6c3e2777d5128807bcec11
d680015b8dbebc89e09218016576a63976861fbe
0a565efaeb2e1d2f3d7b024c58f2d0a7902a3381


