# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 6883bfaad104cdb6ef7bda801cbe8ecd7f3e59cc
output_heap: f78ea1e608c4fe9333bf0c19d70a326c98d679f2
input_heaps:
cce1fde58c2854731b4aaf54febb1fcb0069279e
d9560db8ba67199a6d700b6286ca3ea8de7b8982
8d04b3dd0237cb2b1525619bd5fa537a4c846054
2735301a2447d1ba50dacc2d915f2904361123d5


