# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 6d11291d50412c68f0cec0173325b68f5e217b3d
output_heap: 4fd181efa5ba9518d74f65899a7c3c08455095f8
input_heaps:
339e0b0a0e94b9d23409a39db2839fd5b5739adb
7223a464d26784c3ed2fef948a679de14fae3487
11ae355b7d84cb3e716fb5a71e9937894a5be822
a7a8a41c4314c4c26d3dd849a66487227d2f26bc


