# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 2ce2ad3623f9e3110e52f8535441504decc3c417
input_heaps:
76eaaa26d5dc8b218d0a611295d4ee3d6e6f203f
eee62ea59121ed3e50df436f618922c8776e9ecf
975c8199fc5426d94aa9be585263124fdea5a8b4
2b50bcf4ba8aefe185dbafa6a5dc158c56858a19
219b74f5d62a331c2d08bf879bc9c531ae91f281


