# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 1f894a74255aaa40a80fda1d4508f3e84b97fb9c
input_heaps:
e3a1ccee455624b3686c1405fb0ec62cb06ce178
de0a1f2a4957e4b95cf4b9e6c34afe0b61facf97
9a19b2d719fee58f87cac76a2e5c1aa7631b2810
add66f6b0d2f3b23b571bec23cc09f42853c3ccd
c5eeefa2023783c3f462ed88d84af4e89bed1218


