# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 27a964a978b53cb8e2743d09ed5bfb098a154f3f
input_heaps:
7273fdae3bfc71056220fb0fae99f3e681c62fd5
189351fcfea8ef516c3b9ffc4b0849f87c6f523a
7226c581766240d203bcd722c9ae8f777dc1efd4
16e621d213f1b5c5d29ca439ef6a8f6d9f4d843b
8f0e25d2cac76c341e6dae68c90a8c799e66d2f4


