# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: d6c333ba37c46393fd9d9efb4baf1e3c0ef32cd8
output_heap: 6c516f00fc4dd5c7a0c9a38ce52f2f2934b8dd26
input_heaps:
453b001c09ff735701b1550cb3c993764c9b9b6a
3f6e51873188e0c44de8bc52bec007be4fe630db
3c0a1e14ba6d3f892aec94bee369d02437602d54
afd7dc181244782475c803cd72ca975664a259a1


