# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 99d7d9323a79517c7c16f17862c9579abe26efc6
output_heap: 242cefc2a242b8ee36e19e422842a7f07d88d6d0
input_heaps:
db456e2182b198adfdec654a00d5bb35f7784ab2
b9ec9d6295bf04a1d5eaa3d01cae5193bc8711a6
e74b8d18e2ee0e40531b2cde3a49dc94e114f93e
e46cc64adc0d754508f480ecf9b0b85290d8ced7


