# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 2b9429e6d397b8d85d5b7454658c8c9a59353a17
output_heap: 77a4662df46f2bae3aa44927e05210c1b169f452
input_heaps:
af6f82155bf73f7bb583ccca2ea0903508c15c49
d46974a3086b030c59882507bc02c46cc6680af9
8cd398a6bfa05ef8b8464339de16f1b6ba0f545a
4c4b6ee69031ef2915d3d45d234df02c9c0a38b4


