# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 907f0db3633bf0a5fa5a87c53d158e8337d714b3
output_heap: 92f7e0673d15d0bd00dc7b17d799e30ecd47aec2
input_heaps:
ee07a279e10e083a9cf625a9fe7636c229b9328e
2e355cca259dc8e871de0556aada95e588fab985
8a43e979c3c904bac44402cd5495898c47915ae1
fcfd725e57b75a373de98875d344225f0a255fa6


