# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 215f93658a4b01b38f923a360915f171ca69a5eb
output_heap: 3751064b9c6dc4a0b006f4021d23f612ac935213
input_heaps:
275e94d511fe2870fff5f93bcaa57066d115c4cf
36730116a36c57071f8a7dcd0a475921707491c0
ecacb71b69b0da7d4e559568ca28357c31fb703a
cc5a44d668d612aeee468ed04f82214293511b3f


