# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 2e959c385687b2d90783df2c623fb288c5ae3ce6
output_heap: d468374052466b426abdf6a088c757f3dcda1eaf
uuid: 07351b44-bb8b-43ee-9edf-2d771572b623
input_heaps:
8ad5a9031d6debdb25f6a2d28327df038ef77817
042a873bc4c2d063090ad7ae9e8eaa3e07053193
6daf18f4855a1124051cbde926c9686f5570e093
72004fc929a82f481c228479c8bb122279f25b5b


