# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 33b20da03925717f48bdb0dacc1d6f968e53965b
output_heap: b92ae864768761ec1cc23e9135a40fbad67418dc
input_heaps:
a46db31bb55395b3dbdfc848f24a96e1b1255d76
d3c5454b647092bc2e8b3ae36c1c54bfb48075f5
2e8decf43b35cf896067cfed44596733da0cc7d3
19fb8a0d94e271c2f8cc4aa7930236860449dd89


