# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: b7823f38a981c5a976817c17be3807653b556abd
output_heap: d71765479416e8574a1e6676712881524df04fde
input_heaps:
e0583a0ed15dcfb555474c531eb30e964565f3b0
926329a23c106a798ce76474fb0b3f351ff73480
46fd10eeae2499e94ef2d629be761c1f26511d19
c21e83de6ca4ad76aa214d19774435ccf8abd764


