# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: a4b158f15ab878782a94c380d89a5cb118b381ee
output_heap: c6ea5020215d1bfb7865c24d037c996900451c75
input_heaps:
ae96c4661efb67fa55c859aee66272e43d21faf1
df5aaee0a1fb0d2bd927fe99191fb28d9ac1e456
4c87dae7a22a56cb1a92c51c901d150667bd40a9
7ede7a58b97b7332a0ce68a911b7865636eb892d


