# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: dfee8d806b89f776d7c0cdfafea6dfdebf7d9b7a
output_heap: eced974946693dbd4d2dfb30a2031f62de364893
input_heaps:
f24b23d736d58b1fe016b056b4dfd4a4dd6aaa09
ccc1058afc7081b1aba3b6c9fc5c481fbc1fb4bf
419bc3b969ee6b96ed4c10ab362b8ccdb1f404dd
591030b2674ed948cabbf98d0f295c5c5325f7ad


