# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 54d83f71ae7ec480faff1de786c3aef2c56626fa
output_heap: 6f165d814fa134ccb596e4dce8cd0a741ca82d94
input_heaps:
4ee49694f2bd4fec19a86491c156fe6e4a3ab3d3
16d5d003cf835af882cce0ded0a82e633004614f
5a25b6efc922c686b75eca175751f959cedf607f
3b2efd2e6847c2c55c684026abb0ae0fd679e8c6


