# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 03565bd25a4d0f958b5c96c8dc0769c3df46b3a3
output_heap: 257828e9a71d6e33971c1ca96f4bfbca3b9ebfad
input_heaps:
2378b0ecfe5f199d8fe42ea5ccea70a2a20923a3
229a1d829501cf0a740156509d19e43499ab4bef
ca14f16b93325bb5550fb25e064a375284fc566f
6a44ac8898e209cab0a2756e7fa73edd4b7341f9


