# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 86edc2888170959794c1e0e2b0f65d9e21e411df
input_heaps:
31bf4bac648c51f49408130bf9489829be3fa993
35508bc2877195b4acaa6a24645b77282ba20bd1
335fd30c7bba826813aac0fb24e7ebb1383cdf29
2eb0fc4656a0cf4e0a32ead13f0b2b31f3c9dd9e
fd6b3c943742df4f7cd7417bc43fdb8e2986a82e


