# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 22a9e3b30c5f79f75a02d7e08cfc11d9ee40496d
output_heap: 8d5b9e0c8cc85648c2d1c54d716926aa062a4ef9
input_heaps:
56380fd32791656d7213e55463b58d70b413643f
54ecb3e8fb88829d4b5afb0678ede77001a2e811
42555086d07b3eec197d05ec7e77dad1ece8161b
c503e60a40e9f677dd1423da270ff50965c31784


