# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 1285525f82c22d912a80efe2f34463532c6bd043
output_heap: baf29d595c3091b9b1538a41b1bb5df495a90537
input_heaps:
b7d1e0bcad61ff24291cc398a6e6073b9f0cbfa7
f280cf7d21e08078ebb16ca87dcdef533f95eac6
f9e759731ee91542540713d2286bfff99be9519f
e9d29e0034d47459b644c1a78b31779d1c52c00a


