# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: ce8905067b4a50946a5b13dda533942b3ac8a17e
input_heaps:
681d5f7fc3e04aaa1f2e7e53f290c7539f21d962
760f5e67e9493faf5a17920ca125cc8fad05353b
91ecd66eb993ad7f2f4dcea6b812a916f274f32f
b92651b47650004f741835e1473791a09d660191


