# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 451851d11225836a954b27706d6422fb9df0e9b0
output_heap: 4827f8e90eca2125b5dcc32b600bd64545b1603a
input_heaps:
f82ad8bc3fa909b6cd7ee1a705f5df00eb58e71b
35eaa225201857107e827622fdda13b757fd8deb
600e22bc2edc8056b332800032b4ed87cbe79023
974484c7c11aa817cc3e0d0537baa1b7b8b3514d


