# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: c74949b6e9e6e3f169e17e324a0e16801311ef8a
output_heap: 51edceda0fc9c34a9ab6e22384fc9543624ac795
input_heaps:
00879685c0cae8162cb30e087be0ad1474557204
1ad79679c1848be8b6071b23aced2c52a17aca74
b5044b752d968a07d7a3165e00250d0acec15d73
919b96652ec09354669d67193872455b793fbeba


