# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 550724c3da33d0ce0b7fe4a93ba0f5a911d8ec54
uuid: 5971257a-7b80-4400-bd08-12417ee896b1
input_heaps:
16995642ff9d6d081fe3569bf6578b599bfc50b5
e2f00078e9a5e8bef38f416fe533f4c0bd843120
6d5104ef027c2cb96597dd4d7f68c04f0ec298cd
4465bf0d6a520fe2324dd30c55d14a4e52f4c17c
fa5da7664deff7927d76b1e471528b291af2f72e


