# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 6ac5a8e42be236e902d17bdfac6d23ce07f7184e
output_heap: ed6b86d1763fe5f79a8ac673ceb4c8095bb11cf7
input_heaps:
f632fb1d6da65e568b647458c2425854ecfeefb4
553c29b8f85b5e7829a63b8ac86f1fd7bfc17324
85687cf7cece2255b743d559903d7837eb2f2a8f
06dc15b8ff41a571f248e35a9c636e8752d18d83


