# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 9f25427bc9ef23c79f5c41484a849830b2edbf5c
output_heap: e8e1b6bafc33de91a7cd69f19ba8362078c6d18d
input_heaps:
357b42ac3beabedec26b51d2656ba583cf1eab4b
15d85692b7f1786c47e0baf09991f065726d2b19
1f9439498da2d8aca404011524b8312a5bdc159e
2de3ab51c8ae63e1d8912ac6d63a7c211efaeb87


