# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 215f93658a4b01b38f923a360915f171ca69a5eb
output_heap: c14a937ab3364d0b236c6338dfc9a49b92728caf
input_heaps:
04546e13b3ec7f70b074138ed2f4d8667390e734
094d1060cfdb72ebd3fd1291784fda6152066b69
fd74a6dee3e5c7237bf3cd94c82b97c12c86e062
d8831fc5445360c1e9efd0d4299c63d59f7a1f99


