# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: a1fef5d9cdbc6f226f8dd61754a3e7dbed4751b2
output_heap: 66f67aa20f88b08481eb8b5cb27e1a31a7e83b3a
input_heaps:
c081b7c87e33948fdadd9c3bd5597db60c0da0f6
bd68f8fe00ee6f2978331c683c01f1c20c25fb75
3521b2f01cc64b5120cf5176005c03361efc087a
c7f45d81d16caf05d77da69b099b9d1f124854d0


