# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 2af37b58cee5adc0338da439fee4c5b002338148
input_heaps:
339e0b0a0e94b9d23409a39db2839fd5b5739adb
7223a464d26784c3ed2fef948a679de14fae3487
11ae355b7d84cb3e716fb5a71e9937894a5be822
a7a8a41c4314c4c26d3dd849a66487227d2f26bc
4fd181efa5ba9518d74f65899a7c3c08455095f8


