# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 810e38abd9c0ae483df16a10357a4c37a6ee0078
output_heap: d392b88f0f12d10d57c8c547b391b75b0abdc2b2
input_heaps:
55b3b3b9a8e9044df0be3113e04902f5463b43aa
46e11e8ed5a5b5434cd1af84a26c68ce20355d26
7d78487843d913779243a4a850d252be2cdd3ff4
533074e903b1e1d023e4a14a71392813d1cc2149


