# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 15d499d9d53901448c343121b1214f2252f3f203 89fc483c09a60739f03830a69d30f10503169125
input_heaps:
ff3fe36dc49ebbcde4e5934f36a98a4faaf7799f
11271cf7f5c3b7b5eb8058ac8fab9e5fd2f3757e
6452e1ec17fe035fc93c4ad00d5d2696a709daa3
a3ee5a50c137a1e077d854ba486032ae904c213d
bf9458a8632aa96ef05eb073b007ec1e645dcc5d


