# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 7ed5ffd44e4299ad8e973bfddfd5b1ced6340eb5
input_heaps:
76ac14ae37c8794c2fe7c4ad8e34a0025ac2d4ec
a32d043d7a78df09e2684446989c171f61b5b8c1
59273d16072f8afba7def3c47a660b4f542380a7
96bebf7ac8c0ce586a57fc0c2d6382c27d8e1dd8
a214f87a07374a09d2e2fc0453f3f711927e8bc9


