# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 9219423a1a94480fad22626258c8a7e327952e40
output_heap: 332848711c6b113c3fd9118f6d0d44ea02191b2e
input_heaps:
a69e01c96a12bd53668892d3b016657d478dd6de
3c734878b591af1befe4e6e92cfa619b5f2484ec
ffa93f14b53080023971122cdd81d750be7857d6
522200f47ce427e7877e96a809380222673184b8


