# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: c20cf6b39fd1d58ab1e11b794af04a03c453cd88
output_heap: 45292ddbc37dcf6e33affdc9cb0cda42647c4cb7
input_heaps:
7807f31208a9568bd30608d7be9668a1a8f218a5
80156b25cd81847161b976044fa2b16cc5837cad
d32a278ac349bf4da7f160701da7807f2c161922
5e9d0b16c5f676aa3d8da200d1c6c5f23785be17


