# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: bc68db85efdabbf4c30099d0298c3a7f9d8292e8
output_heap: 75e66d8a5019b7ebbde4024fd9c5baf46b7a9cf7
input_heaps:
8bf312bdadee5daf8facd55eb1fd3c8949cfba8b
7f27bfd5ff52a522c1ae591bd5bdcdfd37e380f5
87baa7656c81f5d5f578a7519ca8977b951f9da1
81f0d34b8291d153677e53a20e8c78c7e8ef6f3a


