# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 16c4914a11da5f7a0f8da1808bf42680f6d72a0f
output_heap: b8f4717499e87a757aceca4e2ff441f3da3ecf53
input_heaps:
c8b758c55bf2cb56ac81c62d74f7a65f594ebbff
4e355dbf04f38016bfcddf244a1ff37122307044
e4eed2c1c047c11687d10e18c9475647942cfbec
8e4266883344f5bfe7dc097ed2a549d46b5403b1


