# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 1fa7b9c808657c14e92c1de326119558a849ab34
output_heap: 50d0a2e077d2c33576a4540f79e9b4c5194edf9e
input_heaps:
8cd2a2b0485da6972fef25fa342b036cdb7debc8
3de0747a3e437ae3effbdb060d8e4514f50343a5
234d8bad874e90552827302bea0b07698ecd3c8f
aeef6809db7b2579057959b32647a2f0cdd65cbb


