# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 997b2bf1e018040cc6d070b0d0696c212313958d
uuid: 1c8db36b-ee8a-4131-996a-7a1087c134ab
input_heaps:
980033d053f0749333661519c4d298c6280be1b3
69ff0e8818b8f465f2585ea0f57a610ce777e1be
f38759d1fce3ae187eeffcb386dd6fb5dc5783a4
4d2a82bf7f909bde7a1da7a64b00aff1834a9cdc
5e1c00f72847f7a6432624ca4c7bbd9c7602079e


