# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 6883bfaad104cdb6ef7bda801cbe8ecd7f3e59cc
output_heap: 815d3a89c05a4b984ec2797c5ddcbfd71408298b
input_heaps:
4062aa515595763ef834346739d8a019bcbe0e32
36830ebd27e0fcc54eae0ad103c1e5cf7358bd5d
7943041918589b7cc2510f9f44b15f5f3a64298b
1ea5fdbf6943247e2f16e174a4f009808b42783d


