# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: d47ef935853fb1d5cf8ac816da82e1dbe4c9ad22
output_heap: 4bf846fdbf04274bce7b6914d5b9707fb81df82f
input_heaps:
a1c521f363879bd6f4f9f3d7760b9927f5eca860
50b1106a64fbe3e899e930ea01c7c3692190fe1e
9633e874e5645c8ecb7f65721e705693043130fb
d7af1cfd3fe116fb11991a2007d0bea84251434e


