# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 1285525f82c22d912a80efe2f34463532c6bd043
output_heap: 4adbd75f110ca384a833cb191e40b7c09d71b98d
input_heaps:
9f3df623f783fd84a7fbb5c71b7694606606d9a5
61b1f7f49064b60cde8458ef4b67e23f8844513d
49f0a109d3ca52638acc69675094ce89f5373d61
c3dec4b957ef0d28520f559e481cd51160062d5a


