# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: cb8b5ff1dac90e71a383403b91f4760ad31e9e61
output_heap: 2dc1e211a1a96b122686de922f0d590d76e82eab
input_heaps:
78f8eff916f7453c3062e701b3cb18e4d64202c8
c47adeb2760bec59a79f0bd1fb07ca0ee2d2d350
018b2b0d6bbe5dae4713f7d45e0fe5d80d4da44e
7765121fb1a2be0001ce6752ad884845d9efffc5


