# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: a03a1239a26581eae43b94c6ffa2b2ba88f2144c
input_heaps:
db6f05ad5884c3d4b639d9f4b203792d5968e568
8f4009a03cb4dc8972f8428957511cea3c656c5b
a57efa7649a3294a1a9152df50ebf74ad2bf698c
046b60d9eb2495b6e979ff904dd5c5d27ff8c452
e19986e53c16555f79bb3fc443855e9c29285359


