# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 810e38abd9c0ae483df16a10357a4c37a6ee0078
output_heap: 9b80a994bfe834b028ecb25b1ef3a4c6e8e8c15f
input_heaps:
69aa70f16755536fb90c293b8cf6c5f43ac275cd
5f526e0100e302c086d054bebdbf267155c91c44
6f8905c590d176fa29fde3da614f02f7dc8c8123
ef5faaea8994be6eac35675a7553ff4bba6cfa52


