# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 6a88dbd2f1f11f73426d5339e46f4a869061c113
output_heap: 2474b3b355ede48d0eba27de884aa8eff8bc74e2
input_heaps:
a8c309eb0c8fe4f6a33a13b2567e40753a5dcbed
6149c49ee16c41d819ea05c303469743157239e4
302f29713ed9a5198807c6feeed8e85966a98154
c7de710c072d20ee83918c8bf4780de9641e188f


