# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 24c2a805d7eee26f57c7023f4daa9744ef1d54fe
output_heap: 618aa873ef1a253baad17096aae7e69567b5c213
input_heaps:
cac5d03352e376834a77ac05dd893fd2179d2522
021e215213850104e25ab568a4ae9421ef705042
4526834c9dd8036ec31e4dba0f2a68c42a19b451
9d20a534d3fcc181c7b7774764b7eca6e50ae951


