# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 00c883f5ba923c50c452f96064a8a9ac25595cf3
output_heap: 29b0590a6ab84b19a9bfebcab54069e6db57da5f
input_heaps:
1dae994d72a426784accfc4f3275f57abe406926
825dae3757483ec2a6fb4864069860afce4ab143
54b2620f295f821522b54d40e2de4ebeb1f36549
f775cdc18bbdb961e9ff65e445ce0751d39f5627


