# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 15d499d9d53901448c343121b1214f2252f3f203 9fdd6598fd9cdae3d4d6db0633a3b26edf735651
input_heaps:
fd236e8aaa6107e7fbe24dc74056d93851977f4f
47470ffc6db009906b922ac09f945d373860e313
3d7acd2a9fa6f5f4ded89263b6ac460df7738499
685a96e3835eaf57b6c48580534d5949e7979f95
cc5af4e801c880b9e6086a43ca27246c807b6fa6


