# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: b9c54d4b81c1942b1c1f3a07998276f53fa098ab
output_heap: 5dee879d03c66554b7e780e0c8dd46ea57e814eb
input_heaps:
a9ba4fcb27c61f2722def1490d5cc6ffd820a523
3e35f1f1494655d736fa0027db3480f1ebe85070
23620354c57eb567d552cf9b0a331e62bb638f82
3b1e64e588e1b38a2463c15c0773e0b84749b9f3


