# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 208f842743229e2ee222bf6609385d992cde5eb0
output_heap: fe53a3965f1c67c766fd3cc333e0caf4d161136d
input_heaps:
c3f84dba95bf0709c61a37f27d090eafa0bb6b15
5ec4a71d50b92c5aac197cb7db0025929ac32b1d
22ee0a3c4b20f434779272d6b8481657c3766156
0928814722ccffb98ac334b91ba3e1aca0abb598


