# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 32c9ad569b932e6466f6db405a7bc4c69cf99117
output_heap: e37057b5007eaf53670b0418f7c62a1e6043e62e
input_heaps:
93e482badafb7e639b29de5ac13725d8a7ec9381
5707bd92e1887d676c5a1ca2756136fededea779
e8341778bd37054d86c536e67d64a31dfd6c42ee
1bef5b756420026b56e1b277e5bb6f01061be5fe


