# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: d68d3c11ed400e48f657d4841479c8adc394bddb
output_heap: bbd5abd9a57c15558b3d5a0162c0296636d7c037
input_heaps:
5dc24187b4e0df60f9621177f28d9a6d6e19dc92
078a3b8dc919d1598856aad1a05d175f1dff501a
eaae18a63bd2d19ced511f2b41f347b206f3f26c
696e7a910778f8bcdf954e882efb4482af35eb0b


