# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: bf275d0e2f35749d82041fbdad270917765717ce
output_heap: ad187d28c77acc6d40ea10b5825248bdd8bea1d3
input_heaps:
7dac346481afdceab62c8081cb4f36756224c974
3b86e4c44d3a409110d660ca5ff3fe46430a5376
fd02458c56fae68b4ecf860bc8a9815125e0b3ec
57b81b665a21f02bf86edc5eb1b2ffa458f1b969


