# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 9f2df887c338acd5e96abd063a3190b5ce92d228
output_heap: 3e7257a70800ec8f9043b80287b328b5bdb44477
input_heaps:
4cb12afd9789625a4c2e40cdf1e2d0b3aadc16e0
7cbe2b787552e2377b1e9e19550fddec8825838d
d6adb3dfc99a1f93d012ccd59267e82ebda47fb6
149f38e2f2855a563fc2f4bde8f85e6f56397d85


