# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 0209d6f103e505e57ea161a3dc45ce4b0d13292c
output_heap: bb56692e356fc95e470b1e8a72b75b0c34521f17
input_heaps:
8fad6a4949c9835d07cc1dcd7a18516b5d86c9a3
26287f7258648103b1684486e4620d0d4bfc2934
ab3cb2ed7f63b936fa49e464dc4e11c5fa3dc928
cb463ebaa18ab67dfd20651ea5c6864d62281421


