# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: c48804133a5b4e30caad5f1862f49d4adc78fcf5
input_heaps:
9ea718305cd1fd52d6423d9576c9d8a397701153
78fa00d6c63010d9371bd27168edaa8f7fa59ce9
59cfb0ec4a6a8913a53690c9a32309310a613657
5ced14dafd7f25b32b9dbd8e644fbc1132f8669b
b47bf27712e4b7901b4df5abbd2db3d81bc004b5


