# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: b30ef16df6a45116f0c0f4c5a99c4a54cde0bde3
output_heap: d5dcc74b3e58386c57714dca6bc75533f408c8c0
input_heaps:
ad9522bc18e2b2a6cf26599b560f2a9ea7596aee
b002d126cf91bb7c3419b108b7ca31e9b00c41f3
51a7ed38d58663905bdb7495d49784a0156b7357
1ece5777e44b30c001dfec68d47589a6ea8e9b93


