# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 367aeeb76d9a8b34342e79dde4cff2e344a4af71
output_heap: e8f3f8dac5c6e03ce1a5de4c072710f024057b85
input_heaps:
c94af6ee79bf584a92bbeda27625eb7fb4c27abc
541a859f017a0c4bc5dc76659ed8f8efab41527e
03398dfb05425319c661f20bad24481b5beece9e
a2843c26f197143b84eecb74b06270702e444426


