# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 9bf0af3ec9e078383a79571b4dae8207612f4d60
output_heap: 11d0d5852ba1c5065a3d3f541a64f6796d939343
input_heaps:
39541dc42102d8fbdda144a4ee678e8e4448af7a
6f38a31669f34b20d338d9eb8d66bf9c967db531
c36ec8ef00f01a4e2bd4b25f5ae1dc872b72b08b
568031013fcc991cabb846ce8b2e5e264e5c1e29


