# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 86618983413b8486aef7e67e5cf581655f4c6bc3
input_heaps:
77f3e6117d8d9e81a63ec2f1d36765fb9761e63d
d8b455c84836a9b5f1a1b8503c9c0539652a6ddb
a4727a8fa9432637f8e3b924d78e177813bb53e6
69b83b275e5c0d4561d5fcf67e10859c2af608bf
d2b76838595e9a55c503367368e7fa46fefcaf6e


