# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 7c05308454ff798425ea83a44b9f7e63f6af911b
output_heap: 6d2c53ec576e55940a80b63c201c30c3dd76c94e
input_heaps:
26147ae01ad4ddf2dc55f2d4dbbaaf16f7824ec1
1252048e236c2e2b9eff3f4d296c1d4ba90a5b58
1f89748c950a0d5764717c629efe2eab997d7af3
c0f71cea07e2512fb9b528bab435eebbfcb78770


