# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
input_heaps: 3304c3bdba2eafbcbead0ba4914896db182d08fe a90ec650e12109cd1c67b4e101c18155d18b7861
output_heap: 8a5e5ee34533b599a47dc43ec99444f8ba1070da
sources:
0c99b93a63f59cae01b477a7dfb7210521f0b549
1aa94fc90399e51879da50dc3e3eb81357662021
25d26263d9342b6c67c6e83d4a97eed5919fc08a
378de236995e551c50ee8d4d0e3110d9d2806c83
3a92ed7b4984fee2454b05699802efdf9b5e745a
443c1e93b213223f55d0433f0845f1fab7a4a144
47b4c715350dc7eaca0d654f5646afb02974e7e6
5b6fca7aefcaa31fd3b89c2fb6d372566e27b3f3
5f7274fe976997cc74421918e4602e777e6c3cd2
61b7f7cea5905d8ea78f3c2dacf630b6c4cdd79d
6fb04149d3c770dbc0276000aa446efa9c35a61e
7f0b70126c5c377b245dc27c69f7a25ae9ad99ac
896dd418ef164ace044556017d747a73d1c4944e
a6752ec4d48aed1a0e20acaab058c7c27848c474
ab23e5d88352c538f7e132529053943a367206b9
b3e662627854f33829ac7a0523d5129806f36350
c0482ff4b665b14cde6a846ce031a1500e2e2abc
c2bc0c4070ab8dd0f699c5e4a89128c973fa3ad2
c583c2ce31119315ddf1817b5637d75352e6b2ff
ce168f5c6ec1725149cd64ec4a6feca6f681f8b8
d92425eea105b871c152b4273b225c942cf69f58
eb00b4ba0166aabd0d04bda136445ae6bdde666c
f67c75f05cba8994d57db1503ec5cce6f98eb2bc
f9c0c8e674fbaa916251e679fce8a7a0a268f369
fcf7bdf4fc9771c0fb9ab5a4a40f6eb483afafde


