# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 4aab66946f2dce3733a05612b13cb63fb672d920
output_heap: 37824082040dd2f32b803d69271d2aea97f973ee
input_heaps:
232733c8a37afc91239d3bfd839a69a07c1cc6b3
c5bed75ffb5cf403edad3c8be487e376297b6311
403e62d7e20b43c0c703d3be54a1c0e3312a2424
eaee2f0754060e7a0cff1be457b1afb0eaa7ac20


