# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 27e20c5a2cfb817f85ba8ae4258d3bcd068c618c
output_heap: 184425f8ce3ed51a62862dd5d2431f54cf41d5f8
input_heaps:
c2de97967f5bbe0778dca40cd734a9a6aa349fd1
b1e5d8a55545e1f9b2699b64c019a7b1e2e2ee21
2d4043d17a45ce51a751166eb66c0416b64e0e66
ff8abbf0e081fad0f1563e5740c958fd8a62eebf


