# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 5c3ea884694cae72636d007a1883d4e56c1bfe7a
output_heap: c61b55970c6436fc0adb4f65f8b214c529f86127
input_heaps:
bda8f03e160d8c5cd72428831a82ca34ca2b02c8
6f364a1f2777906a318a918c258e4e1a5bb60e4c
eff67ecb8fa8425d53e3aeb2e21d4c51971b4a45
9a01c65dea2ac6083a8f2f6d39445cfad9416926


