# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 7c77d7254c5b84c29850481bdc9cbc1de50d1a62
output_heap: 744fb4bc0b3df0e4b80fc64d9d168ace6d40f2d3
input_heaps:
2e856cdbc8976d5457a0edc209f4bdbd9f5500c1
dca18b1724a67012412f5a3a93399814c4427184
b769adbc3df07dcd5b16efd671cea4c743e929b6
9285dc1bfbf779be31f16ffc4ca589e124e73db8


