# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 778ec852f38998d98c1a9377c39cff8c1cd1622a
output_heap: 5b4f289a8c17ce85e01c8e4c38e11411647f96a4
input_heaps:
a8fd777f4c50ddd8d7e155b9b07d9218f3467fc7
02f1225c0f261de736caa9ce0f266c2606abf26f
5cbc96a39653a488416c2b5ee0f7781b5f8e79ff
88b70a702695856d0c156ec4114e99e40e620647


