# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: ea208271caada6bb1a89ab343dbf1a0ff3198282
input_heaps:
6cddc4affe5c2168acd960501c3b8e0a87b46c52
836e6c5126283467c7477ad029076bcafced66f8
5b27ba0d99c4bd0098637ce9f29ef707026afa33
5986eae7bfa3c726df839108d444a0b3bb3717a5
65b346ef1125c7e216978ea36b6e36c7a252797f


