# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 3c88349764a54f6f0c950101569c4b5857457d12
output_heap: 255b7d7f971c3513d5a924f3978565ded60a20e0
input_heaps:
4f89cd12fc22a65e55bef97b3448b7e615a544da
d52a9e3ee76f7778dcd9aaedbe9bf47fd4344515
7ff4e61add5bba5717a2374cd87229648fb08989
770ba6c4ed2005ed1951b63f1eaf99631cd320e5


