# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 84e49e99fef6b4e5a7a6a765882a7d4bf6cbf64c
input_heaps:
002da1eaeee52b983075830d79ddcff9707ce7a9
c344d82e960a4baceb99dc7461784008bc1b9b93
7a9fe2a17b41d6e3556ca8f88643b35d28c9249b
fbf51771860974df605fe5f9ee25d782aad706f0
a035c4248d5c0cbc91f8bd894edba00d77b487dc


