# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 8a7ebbb635cbdeefdeb5f416bce89f20a771ec04
output_heap: f899de4fee161e2dab506fa1391991dd217a7ed4
input_heaps:
cb3b4b88f86f707d123395dc0f54d7e406fb9231
2f7affaa3f1e641179075b6ed2189143771cd710
d53cbe55e2ad6db93b989010c753f8d3467cd090
92e059aea9737af15f7dd7fa3fd660b6fefd7282


